tage64/lean_subprocess_test
A small programming demonstrating why Lean's subprocess functionality doesn't seem to work very well.
Lean
No issues in this repository yet.
A small programming demonstrating why Lean's subprocess functionality doesn't seem to work very well.
Lean
No issues in this repository yet.