2 results found Sort:

pitmonticone
LeanProject pitmonticone
4
44
apache-2.0
4
Template for blueprint-driven formalization projects in Lean.
lean4 mathematics leanblueprint lean-blueprint proof-assistant theorem-proving formal-mathematics lean-theorem-prover formalised-mathematics mathematical-programming formalisation-mathematics
Created 2024-07-26
136 commits to main branch, last one 8 days ago
bhgomes
lean-riemann-hypothesis bhgomes
7
40
mit
3
Riemann Hypothesis in Lean
lean mathlib riemann-hypothesis lean-theorem-prover
Created 2020-06-26
34 commits to master branch, last one 4 years ago