Skip to content

New lemmas for stdlib#1053

Open
namasikanam wants to merge 5 commits into
mainfrom
lemmas-from-oram
Open

New lemmas for stdlib#1053
namasikanam wants to merge 5 commits into
mainfrom
lemmas-from-oram

Logic: new lemmas: contra_congr, case_elim, iff_trans

a5828b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 19, 2026 in 3m 52s