Skip to content

Goal: finish and kernel-check WOWII Conjecture 146#1

Closed
akakabrian wants to merge 21 commits into
mainfrom
wowii-146-proof
Closed

Goal: finish and kernel-check WOWII Conjecture 146#1
akakabrian wants to merge 21 commits into
mainfrom
wowii-146-proof

ci: publish Lean verification log

527539c
Select commit
Loading
Failed to load commit list.

There are no checks for this commit