-
Notifications
You must be signed in to change notification settings - Fork 143
Pull requests: HOL-Theorem-Prover/HOL
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make Thm.SPEC use lazy_beta_conv instead of beta_conv
#1301
opened Sep 13, 2024 by
someplaceguy
Loading…
munge option for disabling type abbrevs in terms \HOLtm
#1024
opened Apr 10, 2022 by
dwRchyngqxs
•
Draft
3 of 5 tasks
ProTip!
Add no:assignee to see everything that’s not assigned.