Projects

Updated 6 months ago

leanmillenniumprizeproblems • Science 44%

Formalization of the Millennium Problems in Lean4.

formalization lean4 mathematics millennium-problems

Updated 6 months ago

foundation • Science 44%

Formalization of Mathematical Logic

lean4 logic

Updated 6 months ago

leanproject • Science 44%

A template for blueprint-driven formalization projects in Lean.

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

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

leanmillenniumprizeproblems • Science 44%

foundation • Science 44%

leanproject • Science 44%