3 ms·
A haskell-like proof language (dependent types?) with lisp syntax.
by epgui 4y ago
A haskell-like proof language (dependent types?) with lisp syntax.
- smaddox 4y agoNot quite lisp syntax, but not far off: https://github.com/Kindelia/Kind2 https://github.com/Kindelia/Kind2