Перегляд Математична модель автоматичної верифікації формалізованих доказів і консервативний інтерфейс представлення в Lean

Повернутися до подробиць випуску Математична модель автоматичної верифікації формалізованих доказів і консервативний інтерфейс представлення в Lean Завантажити Завантажити PDF