Lib.rs

› Search #theorem-prover #proof-assistant #point-free #exponential

  1. poi

    A pragmatic point-free theorem prover assistant

    v0.25.0 1.3K #theorem-assistant #point-free #assistant #theorem

  2. hooo

    Propositional logic with exponentials

    v0.9.0 1.3K #exponential #theorem-assistant #theorem

  3. caso

    Category Theory Solver for Commutative Diagrams

    v0.2.2 #theorem-assistant #category #theorem #assistant

  4. mm0_util

    MM0/MM1 language utilities

    v0.1.4 #theorem-prover #proof-assistant #theorem-assistant #theorem

  5. mm0b_parser

    parsing tools for Metamath Zero's MMB binary format

    v0.1.4 #theorem-prover #proof-assistant #language-server #theorem-assistant #theorem

  6. metamath-rs

    manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases

    v0.3.8 #theorem-prover #proof-assistant #verifier #theorem-assistant #theorem

    7. Try searching with DuckDuckGo or on crates.io.