#
lean-project
Here is 1 public repository matching this topic...
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.
analysisgeometryproof-assistanttalkdifferential-geometryseminarformal-mathematicsinteractive-theorem-provinglean4geometric-analysislean-projectlean-blueprintformalised-mathematics
- Updated
Feb 11, 2025 - Lean
Improve this page
Add a description, image, and links to thelean-project topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thelean-project topic, visit your repo's landing page and select "manage topics."