Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-http-data/./doc/examples
tree: 20abbfde156d31e77fe708201d6aeb61eec1221d [search]
  1. Certora2022/
  2. compiler/
  3. ICERM2022/
  4. IJCAR2026/
  5. NFM2022/
  6. bintree.lean
  7. deBruijn.lean
  8. interp.lean
  9. palindromes.lean
  10. phoas.lean
  11. README.md
  12. tc.lean
  13. test_single.sh
  14. 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.