search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

Add checks against `sorry` and proof term type mismath #5

Closed spolu closed 3 years ago

spolu commented 3 years ago

Also bumps MiniF2F