Skip to content

fix: import gen_batch and write under the repo tree - #1

Open
Chessing234 wants to merge 3 commits into
teorth:masterfrom
Chessing234:fix/gen-all-batches-import
Open

fix: import gen_batch and write under the repo tree#1
Chessing234 wants to merge 3 commits into
teorth:masterfrom
Chessing234:fix/gen-all-batches-import

Keep pathlib imports in Python, not in generated Lean

279d288
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs