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

siegment/Ground Zero

Ground Zero: Lean 4 HoTT Library

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

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

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