max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/lean/interactive
History
Sebastian Ullrich ac9fee5854 test: add Lean 3-style interactive server tests 
Fixes #376
2021-04-03 00:23:46 +02:00
..
plainGoal.lean test: add Lean 3-style interactive server tests 2021-04-03 00:23:46 +02:00
plainGoal.lean.expected.out test: add Lean 3-style interactive server tests 2021-04-03 00:23:46 +02:00
run.lean test: add Lean 3-style interactive server tests 2021-04-03 00:23:46 +02:00
test_single.sh test: add Lean 3-style interactive server tests 2021-04-03 00:23:46 +02:00