Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_module2/./doc/examples
tree: 98f3c8005e709c2809c2d070829dece68e649841 [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.