Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/misc_bench
tree: b8e6d1e9e7f2d00d2e7bc7f08d10ba49caffe20f [search]
  1. import Init.Data.BitVec.Lemmas.sh
  2. import Init.Data.List.Sublist.sh
  3. import Init.Prelude.sh
  4. import Lean cold.sh
  5. import Lean.sh
  6. import Std.Data.DHashMap.Internal.RawLemmas.sh
  7. import Std.Data.Internal.List.Associative.sh
  8. leanchecker --fresh Init.sh
  9. re-elab Init.Data.BitVec.Lemmas.sh
  10. re-elab Init.Data.List.Basic.sh
  11. re-elab Init.Data.List.Sublist.sh
  12. re-elab watchdog Init.Data.List.Sublist.sh
  13. run_bench.sh