formal-proofs topic

Formalized quantum computing in Lean theorem prover

duckki

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

SKolodynski

🧪 | Rinha de Backend Lean4

aripiprazole

Experiments with interactive theorem provers, LLMs and formal systems

RiccardoBiosas

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

xamidi