-
Notifications
You must be signed in to change notification settings - Fork 99
Pull requests: jrh13/hol-light
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
pa_j: pick the camlp5 8.04/8.05 grammar by camlp5 version alone (Support OCaml 5.5)
#200
opened Aug 21, 2026 by
mkannwischer
Contributor
Loading…
mcp: config-aware hol_restart with optional HOL+checkpoint rebuild
#199
opened Aug 20, 2026 by
sgmenda
Contributor
Loading…
Bump cryptography from 46.0.7 to 50.0.0 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#198
opened Aug 5, 2026 by
dependabot
Bot
Loading…
Bump pyjwt from 2.12.1 to 2.13.0 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#197
opened Aug 1, 2026 by
dependabot
Bot
Loading…
Make define_record_type idempotent via a dedicated cache
#195
opened Jul 23, 2026 by
aqjune-aws
Contributor
Loading…
Bump mcp from 1.27.0 to 1.28.1 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#192
opened Jul 16, 2026 by
dependabot
Bot
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…
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…
ProTip!
Follow long discussions with comments:>50.