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

1 line
27 B
Plaintext
Raw Permalink Normal View History

refactor: All MiniF2F into its own directory
2024-10-03 12:53:07 -07:00
../../../src/lean-toolchain