lean-theorem-prover topic
List
lean-theorem-prover repositories
lean-riemann-hypothesis
35
Stars
4
Forks
Watchers
Riemann Hypothesis in Lean
LeanGPT
17
Stars
2
Forks
Watchers
Experiments with interactive theorem provers, LLMs and formal systems
LeanProject
83
Stars
11
Forks
83
Watchers
A template for blueprint-driven formalization projects in Lean.