33 New Proofs Found by Machines#13

Open

yangky11 wants to merge 4 commits intofacebookresearch:mainfrom

Commits on May 27, 2023

Add machine generated proofs.
Kaiyu Yang
committed

Commits on May 31, 2023

Update test.lean
Kaiyu Yang
authored

Commits on Jun 7, 2023

add additional machine-generated proofs
Kaiyu Yang
committed
Merge branch 'main' of github.com:yangky11/miniF2F into main
Kaiyu Yang
committed