still-rollin/Verifly

Fast CI for Lean proof verification with caching + mathlib oleans

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None

Inputs

no inputs

Outputs

no outputs