generated from leanprover-community/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: Ivan-Sergeyev/seymour
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/checkout from 6.0.1 to 6.0.2
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#196
opened Feb 1, 2026 by
dependabot
bot
Loading…
Bump leanprover/lean-action from 1.3.0 to 1.4.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#195
opened Feb 1, 2026 by
dependabot
bot
Loading…
Added statements, proved by sorry, following the blueprint formalizing the regularity of cographic matroids.
#191
opened Dec 24, 2025 by
cappucher
Loading…
Bump actions/upload-pages-artifact from 3 to 4
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#183
opened Sep 1, 2025 by
dependabot
bot
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.