tpt-mathica

A Rust mathematical reasoning lab: a small trusted proof kernel plus automation, counterexample search, and conjecture generation to prove, disprove, repair, and audit mathematics.