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