Geeks
coq-io
/
hello-world
A Hello World program in Coq.
Primary Language
Coq
MIT License
MIT
hello-world GitHub
Markdown
Readme
2
Issues
17
Stargazers
4
Watchers
Issues
Closed issue
configure way fails
#3 opened
8 years ago
by
5HT
0
Closed issue
Missing dependecy to function-ninjas
#1 opened
10 years ago
by
elfi
1