Geeks
wg-romank
/
peano
Inductive proofs in Rust
Primary Language
Makefile
peano Home Page
peano GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
daddinuz
Bologna, Italy