aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 14 Pull Requests 4 Packages Projects Releases Wiki Activity
Pantograph/experiments/minif2f/MiniF2F/MiniF2F.lean

3 lines
28 B
Plaintext
Raw Normal View History

refactor: All MiniF2F into its own directory
2024-10-03 12:53:07 -07:00
import Aesop
import Mathlib