Найдено 2 репозиториев

siegment/Ground Zero

Ground Zero: Lean 4 HoTT Library

hott leanprover теория типов math математика
Lean Обновлен 5 месяцев назад
smallsoft/calculator

Программа для расчетов

calculator csharp dotnet математика
C# Обновлен 5 месяцев назад
Языки