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