Add batch processing to LeanRepl - #93

Draft

FrederickPu wants to merge 9 commits into

leanprover-community:masterfrom

FrederickPu:master

Commits on Apr 4, 2025

added batch processing to repl
FrederickPu
committed
116ca8c

Commits on Apr 5, 2025

simplified enviroment lifecycle
FrederickPu
committed
3e4e9c3

Commits on Apr 8, 2025

integrated into cli interface
FrederickPu
committed
07181a5

Commits on Apr 10, 2025

added support for enviroments
FrederickPu
committed
3a194e9
included json changes
FrederickPu
committed
b5c1a8f

Commits on Apr 11, 2025

better test
FrederickPu
committed
80f9f6c

Commits on Apr 15, 2025

added generalized batch commands
FrederickPu
committed
a8c5c67
added readme description
FrederickPu
committed
9693c5a

Commits on Apr 18, 2025

added timeouts
FrederickPu
committed
0336da1