Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/pkg/prv
tree: fc75e074243299be6fca1d2e70c50f972c037d90 [search]
  1. Prv/
  2. lakefile.lean
  3. lean-toolchain
  4. Prv.lean
  5. run_test.sh