Explore Projects
Discover 2 open source projects
Showing 1-2 of 2 projects
rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
5.4K
formal-land/rocq-of-rust
A formal verification tool for Rust that checks 100% of execution cases to ensure safe applications.
1.1K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.