GitHub Action which automatically updates Lean projects
Lean Updated about 2 months ago 1 commits 7 stars
omega-coder|Mirror: leanprover-community/lean-update (⭐7)
about 2 months agoAbout
GitHub Action which automatically updates Lean projects
Readme
7 stars
7 forks