1 result found Sort:

pitmonticone
LeanProject pitmonticone
3
37
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
129 commits to main branch, last one 21 hours ago