Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expr_attr/./tests/lean
tree: 5e76d813e91c1873f1df8330141809077cd0890b [search]
  1. fail/
  2. run/
  3. trust0/
  4. check.lean
  5. check.lean.expected.out
  6. extract.lean
  7. extract.lean.expected.out
  8. include_out_param.lean
  9. include_out_param.lean.expected.out
  10. leanpkg.path
  11. leanpkg.toml
  12. lisp.lean.expected.out
  13. macro1.lean.expected.out
  14. macro_scopes.lean
  15. macro_scopes.lean.expected.out
  16. parsec1.lean
  17. parsec1.lean.expected.out
  18. parser1.lean
  19. parser1.lean.expected.out
  20. reader1.lean.expected.out
  21. readlinkf.sh
  22. repr_issue.lean
  23. repr_issue.lean.expected.out
  24. string_imp.lean
  25. string_imp.lean.expected.out
  26. string_imp2.lean
  27. string_imp2.lean.expected.out
  28. test.sh
  29. test_single.sh
  30. test_single_pp.sh