GitHub repository: pitmonticone/LeanProject
Primary language: Python
Description: Template for blueprint-driven formalization projects in Lean.