sympy-proof

Construct a proof for a framed hypothesis — build lemma chains, import library proofs, seal into a bundle. Use when an engineer needs to prove a specific property.

Background knowledge for symproof — deterministic proof writing with SymPy. Apply when working in this repo.

Audit proof bundles — verify correctness, assess coverage, find gaps. Use when reviewing proofs for a system's requirements.

Frame proof problems — define axioms and hypotheses for a system. Produces the problem statements, not the proofs. Use when a domain expert wants to state what needs to be proven.