This repository was archived by the owner on Aug 27, 2026. It is now read-only.

Add explicit no-simp Bool enumeration proof #5

Job	Run time
lean-core	21s
	21s

Navigation Menu