-
Notifications
You must be signed in to change notification settings - Fork 131
Pull requests: HOL-Theorem-Prover/HOL
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implement basic regex search functionality for DB.find
#1246
opened May 29, 2024 by
mrichards30
•
Draft
munge option for disabling type abbrevs in terms \HOLtm
#1024
opened Apr 10, 2022 by
dwRchyngqxs
•
Draft
3 of 5 tasks
ProTip!
Filter pull requests by the default branch with base:develop.