1/ ВІДПУСКАЮ ВІСЬ: Axiom Lean Engine ⚙️ Ми обслуговуємо нашу основну інфраструктуру для офіційного випробування у великому масштабі. Це ті самі інструменти Lean метапрограмування, які стоять за AxiomProver, що допомагають йому вигравати Putnam і розкривати дослідницькі гіпотези. Доступна для будь-кого сьогодні!