Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/doc-setup/./script
tree: 8b523e3bae6f4ebceb963b513098b9273a885177 [search]
  1. apply.lean
  2. deploy_nightly.sh
  3. diff_changelogs.py
  4. gen_constants_cpp.py
  5. gen_tokens_cpp.py
  6. patch.sh
  7. setup_nightly.sh
  8. update-stage0