Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_split/./doc/examples
tree: c649034406be87221e2030a96c80994b5d06d068 [search]
  1. Certora2022/
  2. compiler/
  3. ICERM2022/
  4. NFM2022/
  5. bintree.lean
  6. deBruijn.lean
  7. interp.lean
  8. palindromes.lean
  9. phoas.lean
  10. README.md
  11. tc.lean
  12. test_single.sh
  13. widgets.lean
doc/examples/README.md

These examples are checked in Lean's CI to ensure that they continue to work. They are included in the documentation section of the Lean website via a script that copies the latest version, in order to ensure that the website tracks Lean releases rather than master.