Geeks
d-krylov
/
software_foundations
Primary Language
Rocq Prover
MIT License
MIT
software_foundations GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Software Foundations