-
Notifications
You must be signed in to change notification settings - Fork 30
Issues: leanprover-community/aesop
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
chore: bump toolchain to v4.15.0-rc1 and merge changes from nightly-testing
#181
by kim-em
was merged Dec 2, 2024
Loading…
Script.SpecificTactics: fix generated
simp (config := ...) syntax
#175
by JLimperg
was merged Nov 4, 2024
Loading…
chore: modify
MonadStats to not extend parents multiple times
#169
by kmill
was merged Oct 22, 2024
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2025-02-27.