lean4-htt/tests/plugin
2025-10-23 08:38:57 +00:00
..
.gitignore chore: add .dSYM files (Mac debug symbols) to tests .gitignore files (#8771) 2025-06-13 15:27:46 +00:00
SnakeLinter.lean
SnakeLinter.lean.expected.out
test_single.sh chore: re-enable tests (#10923) 2025-10-23 08:38:57 +00:00