[Перевод] Мой путь к Magmide
Как я постепенно пришёл к мысли о том, что нам необходимо создать средство проверки доказательств теорем и вывести формальную проверку в мейнстрим.
Читать далееИсточник: Хабрахабр
Как я постепенно пришёл к мысли о том, что нам необходимо создать средство проверки доказательств теорем и вывести формальную проверку в мейнстрим.
Читать далееИсточник: Хабрахабр