Stars
4
results
for sponsorable starred repositories
written in Coq
Clear filter
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
An axiom-free formalization of category theory in Coq for personal study and practical work
Make your zero-knowledge circuits safe with formal verification! 🍀
Formalisation of Algebraic Geometry based on the HoTT library.