N2O: Coq Application Server
Stars
6
Forks
2
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
14
commits
Merge pull request #2 from 5HT/master
cf75290
update for coq.io 2.4.1
f9839fc
Merge pull request #1 from 5HT/patch-1
8115ea2
Update README.md
13b2699
Makefile
6a3cbae
Delete _config.yml
9ac47f0
Set theme jekyll-theme-slate
2342aac
1d5fa10
fmt
c2cc8d5
615e7c6
cofixpoint
977a3f7
comain
37ed4db
naming
8154d18
main/comain switch
51688c1
CoInductive
6da7670