Skip to content

Pull requests: jrh13/hol-light

New pull request New
5 Open 131 Closed
5 Open 131 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix broken links and update versions
#201 opened Sep 10, 2026 by aqjune-aws Contributor Loading…
drule.ml: fail term_match early when a substitution would let a bound variable escape
#191 opened Jul 10, 2026 by aqjune-aws Contributor Loading…
1
Make a type-annotated binder shadow a like-named constant
#184 opened Jun 15, 2026 by kings-crown Contributor Loading…
Add var type consistency check to e(tac)
#143 opened Jul 31, 2025 by aqjune-aws Contributor Loading…
2
Working ocaml-camlp5 pairs
#71 opened Jan 16, 2023 by fblanqui Contributor Loading…
5
ProTip! Updated in the last three days: updated:>2026-09-11.