-
Notifications
You must be signed in to change notification settings - Fork 83
Insights: jrh13/hol-light
Overview
-
- 0 Merged pull requests
- 3 Open pull requests
- 1 Closed issue
- 0 New issues
There hasn’t been any commit activity on jrh13/hol-light in the last month.
Want to help out?
3 Pull requests opened by 2 people
-
Add var type consistency check to e(tac)
#143 opened
Jul 31, 2025 -
metis.ml: qualify sqrt by Stdlib (one occurrence)
#144 opened
Aug 5, 2025 -
Add TacticTrace for logging input/outputs of tactics and conversions
#145 opened
Aug 22, 2025
1 Issue closed by 1 person
-
No release - and none with OCaml 5 support
#101 closed
Aug 1, 2025