Giters
marijnheule
/
proof-demo
Demos of proof checking
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
3
Issues:
0
Forks:
0
proof-demo
Demos of proof checking
Install using ./build.sh
About
Demos of proof checking
Languages
Language:
Assembly
56.3%
Language:
C
21.8%
Language:
C++
21.1%
Language:
Shell
0.8%
Language:
Makefile
0.1%
Language:
Pascal
0.0%