Giters
unshorn
/
notes
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
0
Issues:
0
Forks:
Notes
About
Languages
Language:
Dafny
51.4%
Language:
Coq
38.2%
Language:
OCaml
3.3%
Language:
Python
2.4%
Language:
Haskell
1.6%
Language:
Boogie
1.1%
Language:
SMT
0.8%
Language:
F*
0.6%
Language:
C#
0.3%
Language:
C
0.2%
Language:
Racket
0.1%
Language:
Makefile
0.0%