Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: formalised-mathematics

pitmonticone/LeanProject

Template for blueprint-driven formalization projects in Lean.

Language: Python - Size: 129 KB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 48 - Forks: 4

pitmonticone/LeanCHANGE

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.

Language: Lean - Size: 1.23 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

Related Keywords
proof-assistant 2 lean4 2 lean-blueprint 2 formalised-mathematics 2 formal-mathematics 2 lean-theorem-prover 1 formalisation-mathematics 1 leanblueprint 1 mathematical-programming 1 mathematics 1 theorem-proving 1 analysis 1 differential-geometry 1 geometric-analysis 1 geometry 1 interactive-theorem-proving 1 lean-project 1 seminar 1 talk 1