lean-theorem-prover topic

Riemann Hypothesis in Lean

bhgomes

Experiments with interactive theorem provers, LLMs and formal systems

RiccardoBiosas

Template for blueprint-driven formalization projects in Lean.

pitmonticone