Skip to content

HOL-Light: Avoid repeated work in proof loops - #1962

Merged
mkannwischer merged 1 commit into
mainfrom
hol-speedup
Oct 26, 2026
Merged

HOL-Light: Avoid repeated work in proof loops#1962
mkannwischer merged 1 commit into
mainfrom
hol-speedup

HOL-Light: Avoid repeated work in proof loops

e8d432b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar