Repository navigation

#

moonad

HigherOrderCO/Kind
HigherOrderCO / Kind 

A modern proof language

formalitylambda-calculustype-theoryproof-language函数式编程dependent-typesmoonadproof-languagestheorem-prover
Haskell
3660
3 个月前
moonad-archive / Formality-JavaScript 

An implementation of the Formality language in JavaScript

moonadformalitylambda-calculusJavaScript
JavaScript
71
6 年前
moonad / Moonad 

Moonad: a p2p academic journal, or a social network for code?

moonadformalityformal-verification函数式编程游戏开发
JavaScript
27
2 年前