Geeks
findo
/
patina-proof
Proofs about Patina, the Rust formalization
Primary Language
Agda
patina-proof GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
patina-proof
Proofs about Patina, the Rust formalization