Skip to content

JSP-000448: register Lean formalization (Erdős #557) - #574

Open
zhangjun725 wants to merge 1 commit into
TheJustinSunPrize:mainfrom
zhangjun725:jsp-000448-lean-proof
Open

JSP-000448: register Lean formalization (Erdős #557)#574
zhangjun725 wants to merge 1 commit into
TheJustinSunPrize:mainfrom
zhangjun725:jsp-000448-lean-proof

docs: register Lean formalization for JSP-000448 (Erdős #557)

c4cc2f3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs