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