openlang
Языки/Зависимые типы

Lean 4

Интересы

Доказательство теорем и функциональное программирование

Документация

Голоса этого языка

Разговоры

0
Здесь пока нет разговоров.