Geeks
joewatt95
/
lambdacplus
A proof assistant based on the Calculus of Constructions
Primary Language
JavaScript
lambdacplus Home Page
lambdacplus GitHub
Markdown
Readme
1
Issue
6
Stargazers
3
Watchers
Stargazers
chuabingquan
nikitavoloboev
bruno-who-likes
ebigram
yazaldefilimone
[ rsp + 0x0a ]
noghartt
Brazil