examples

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.

Name		Name	Last commit message	Last commit date
parent directory ..
Certora2022		Certora2022
ICERM2022		ICERM2022
IJCAR2026		IJCAR2026
NFM2022		NFM2022
compiler		compiler
.gitignore		.gitignore
README.md		README.md
bintree.lean		bintree.lean
bintree.lean.out.expected		bintree.lean.out.expected
deBruijn.lean		deBruijn.lean
interp.lean		interp.lean
interp.lean.out.expected		interp.lean.out.expected
palindromes.lean		palindromes.lean
palindromes.lean.out.expected		palindromes.lean.out.expected
phoas.lean		phoas.lean
phoas.lean.out.expected		phoas.lean.out.expected
run_test.sh		run_test.sh
tc.lean		tc.lean
widgets.lean		widgets.lean

FilesExpand file tree

examples

Directory actions

More options

Directory actions

More options

Latest commit

History

examples

Folders and files

parent directory

README.md