#

leanblueprint

Here is 1 public repository matching this topic...

pitmonticone / LeanProject

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 Nov 24, 2024
Python

Improve this page

Add a description, image, and links to the leanblueprint 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 leanblueprint topic, visit your repo's landing page and select "manage topics."