Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/mkArray_replicate/./tests/ir
tree: cdd5fcc179b17d43fc98bf5b2d939590631d7094 [search]
  1. lirc
  2. lirc.lean
  3. tst1.ir
  4. tst2.ir
  5. tst4.ir
  6. tst5.ir