-
Notifications
You must be signed in to change notification settings - Fork 84
Pull requests: jrh13/hol-light
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix TacticTrace to support OCaml 5.4, add 'hol.sh compile/link/inline-load/-use-module'
#149
opened Nov 20, 2025 by
aqjune-aws
Loading…
ProTip!
Follow long discussions with comments:>50.