max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/misc_dir/plugin
History
Exact
Sebastian Ullrich 5bf590e710
chore: fixes from #13103 "enable separate codegen" (#13241)
2026-04-02 11:13:22 +00:00
..
.gitignore chore: migrate more tests to new test suite (#12809) 2026-03-06 16:52:01 +00:00
run_test.sh chore: fixes from #13103 "enable separate codegen" (#13241) 2026-04-02 11:13:22 +00:00
SnakeLinter.lean chore: migrate more tests to new test suite (#12809) 2026-03-06 16:52:01 +00:00
SnakeLinter.lean.out.expected chore: migrate more tests to new test suite (#12809) 2026-03-06 16:52:01 +00:00