1 result found Sort:

pitmonticone
LeanProject pitmonticone
2
30
apache-2.0
3
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
114 commits to main branch, last one 13 days ago