Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/lia-kernel-timeout/./tests/pkg/setup
tree: ff3dc9f9bb5058a734d32201f1ffcb75347cb9d3 [search]
  1. .gitignore
  2. clean.sh
  3. Dep.lean
  4. lean-toolchain
  5. run_test.sh
  6. setup.json
  7. Test.lean