Skip to content

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

Merged
mkannwischer merged 2 commits into
mainfrom
hol-speedup
Oct 26, 2026
Merged

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

HOL-Light: Drop unused context during integer closure

fd04909
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar