1 result found Sort:

Template for blueprint-driven formalization projects in Lean.
Created 2024-07-26
93 commits to main branch, last one a day ago