A modern proof language
Haskell 3.68 k
5 个月前
An implementation of the Formality language in JavaScript
JavaScript 71
6 年前
Moonad: a p2p academic journal, or a social network for code?
JavaScript 27
2 年前
A modern proof language
An implementation of the Formality language in JavaScript
Moonad: a p2p academic journal, or a social network for code?