Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/finalize-libuv-thread/./doc/examples
tree: 90d96c527a9261078142abecb383c39ac4cc9c6f [search]
  1. Certora2022/
  2. compiler/
  3. ICERM2022/
  4. IJCAR2026/
  5. NFM2022/
  6. .gitignore
  7. bintree.lean
  8. bintree.lean.out.expected
  9. deBruijn.lean
  10. interp.lean
  11. interp.lean.out.expected
  12. palindromes.lean
  13. palindromes.lean.out.expected
  14. phoas.lean
  15. phoas.lean.out.expected
  16. README.md
  17. run_test.sh
  18. tc.lean
  19. 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.