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