LeanProject icon indicating copy to clipboard operation
LeanProject copied to clipboard

verified publisher icon pitmonticone
→

Metadata

Template for blueprint-driven formalization projects in Lean.

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

Tracking issue: configuration for linters and further CI checks

3 comment

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...

grunweg avatar grunweg

← Metadata

24
Stars
2
Forks
Watchers

Owner

verified publisher icon pitmonticone

Metadata

Template for blueprint-driven formalization projects in Lean.

Back