openlang
Languages/Dependent types

Lean 4

Interests

Theorem proving and functional programming

Documentation

Voices in this language

Conversations

0
No conversations here yet.