1 result found Sort:

pitmonticone
LeanProject pitmonticone
3
34
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
120 commits to main branch, last one 10 days ago