leanprover-contrib's repositories
lean-upgrade-action
An action to upgrade Lean and mathlib versions to their latest
Language:Lean000
Language:Lean000
000
update-versions-action
An action to create and update lean-x.y.z release branches
An action to upgrade Lean and mathlib versions to their latest
An action to create and update lean-x.y.z release branches