Geeks
larsrh
/
afp
sbt build of the Archive of Formal Proofs (DISCONTINUED)
Primary Language
Scala
MIT License
MIT
afp Home Page
afp GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
eemailme
jhcloos