lean-blueprint

Here are 2 public repositories matching this topic...

leanprover-community / LeanProject

A template for blueprint-driven formalization projects in Lean.

theorem-proving mathematics proof-assistant formal-mathematics mathematical-programming lean-theorem-prover lean4 formalisation-mathematics lean-blueprint formalised-mathematics leanblueprint

Updated Aug 28, 2026
Python

pitmonticone / LeanCHANGE

Sponsor

Star

Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.

analysis geometry proof-assistant talk differential-geometry seminar formal-mathematics interactive-theorem-proving lean4 geometric-analysis lean-project lean-blueprint formalised-mathematics

Updated Jul 2, 2026
Lean

Add this topic to your repo

To associate your repository with the lean-blueprint topic, visit your repo's landing page and select "manage topics."

Learn more