Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/reset-flags/./tests/plugin
tree: 71c2753b7d57d1efbc3095f8c1248051f12dc73c [search]
  1. .gitignore
  2. SnakeLinter.lean
  3. SnakeLinter.lean.expected.out
  4. test_single.sh