Skip to content
#

lean-project

Star

Here is 1 public repository matching this topic...

pitmonticone / LeanCHANGE

Sponsor
Star 1

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 Feb 11, 2025
  • Lean

Improve this page

Add a description, image, and links to the lean-project topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more