Проект математического генома
Сделайте боковой подклад
Рекомендуемые
3 Голоса
Описание
Рыночная и социальная платформа, направленная на демократизацию более высокой математики.Теперь кому -то может быть заплатить за то, чтобы курировать доказательства, написать новые или формализовать заявления на одном из ведущих формальных языков (Lean, Hol, Coq, Metamath).