Repository navigation

HOL-Light: Tweaks for better proof performance - #1499

Merged

mkannwischer merged 2 commits into

mainfrom

Oct 26, 2026

Merged

HOL-Light: Tweaks for better proof performance#1499
mkannwischer merged 2 commits into
mainfrom
hol-speedup

Commits on Oct 25, 2026
- HOL-Light: Prepare SIMD simplifiers outside proof loops
  hanno-becker
  committed
  c3c7520
- HOL-Light: Drop unused context during integer closure
  hanno-becker
  committed
  fd04909