"dependent-types" Awesome Lists
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover
          
            355 stars 
            11 forks 
            679 projects
          
        
Last updated: 13 Sep 2025