/minif2f-lean4

minif2f dataset converted to lean 4 version.

Primary LanguageLean

Stargazers

No one’s star this repository yet.