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