coq-proof-assistant
Interface with Coq proof assistant for formal verification
a5c-ai
244
counterexample-generator
Automated search for counterexamples to mathematical conjectures
a5c-ai
244
isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization
a5c-ai
244
lean-proof-assistant
Interface with Lean 4 proof assistant for formal theorem verification
a5c-ai
244
proof-structure-analyzer
Analyze and restructure mathematical proofs for clarity and completeness
a5c-ai
244