formal-land / coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs!
See what the GitHub community is most excited about today.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs!
Various useful scripts for dealing with Coq files
Prime numbers for Coq
A work-in-progress language and compiler for verified low-level programming