Skip to content

33 New Proofs Found by Machines#13

Open
yangky11 wants to merge 4 commits into
facebookresearch:mainfrom
yangky11:main
Open

33 New Proofs Found by Machines#13
yangky11 wants to merge 4 commits into
facebookresearch:mainfrom
yangky11:main

Merge branch 'main' of github.com:yangky11/miniF2F into main

c605019
Select commit
Loading
Failed to load commit list.
Meta CLA / Meta CLA Check succeeded Aug 6, 2025 in 0s

Contributor License Agreement is valid!

View more details on Meta CLA