Skip to content

HOL-Light: improve tooling and CI - #1009

Open
L-series wants to merge 2 commits into
mainfrom
HOL-Light-CI
Open

HOL-Light: improve tooling and CI#1009
L-series wants to merge 2 commits into
mainfrom
HOL-Light-CI

lint: verify that all expected theorems are present

fc5bb9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar