leanprover-contrib/build Lean project

builds the checked out Lean project using leanproject

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None

Inputs

no inputs

Outputs

no outputs