This repository contains a template for blueprint-driven formalization projects in Lean 4.
For more details about the LeanBlueprint package and its commands, please refer to its documentation.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a template for blueprint-driven formalization projects in Lean 4.
For more details about the LeanBlueprint package and its commands, please refer to its documentation.