Total downloads
447
KyleThompson.lean-vacuum
Lean Vacuum
7d gain
2
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.0.4
Latest published
Activity
Extension trends
Taxonomy
Categories
Description
Collect fine-grained lean theorem proving data.
Archive