1 result found Sort:
Template for blueprint-driven formalization projects in Lean.
Created
2024-07-26
114 commits to main branch, last one 11 days ago