Agda

dependently typed, purely functional programming language and proof assistant

Catégories :

proof assistantfree softwarefunctional programming languageprogramming language