-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: leanprover-community/plausible
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: give
TestResult.success (.inl ()) higher priority than .gaveUp
#48
opened Nov 11, 2025 by
tom93
Loading…
feat: lift to expressions, vacuous and random_search tactics
#7
opened Nov 25, 2024 by
siddhartha-gadgil
Loading…
WIP/RFC: Add detailed reporting for debugging generation
#6
opened Nov 20, 2024 by
hgoldstein95
•
Draft
3 tasks
ProTip!
Follow long discussions with comments:>50.