LeanProject icon indicating copy to clipboard operation
LeanProject copied to clipboard

Template for blueprint-driven formalization projects in Lean.

Results 1 LeanProject issues
Sort by recently updated
recently updated
newest added

Currently, the project does not set up any configuration for running linters etc. I think it should do so, depending what the goal of the project is. Let's go through...