Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/lia-kernel-timeout/./tests/pkg/initialize
tree: 66a2a9a2fa1b89af462d2adb71a276092a7d4931 [search]
  1. Initialize/
  2. .gitignore
  3. Initialize.lean
  4. lakefile.toml
  5. lean-toolchain
  6. run_test.sh