GitHub - gebner/avm2017_tutorial: Materials for the Lean tutorial at the Alpine Verification Meeting 2017

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
01_programming.lean		01_programming.lean
02_logic.lean		02_logic.lean
03_tactics.lean		03_tactics.lean
04_simplifier_lists.lean		04_simplifier_lists.lean
05_simplifier_expr.lean		05_simplifier_expr.lean
06_ematching.lean		06_ematching.lean
README.md		README.md
leanpkg.toml		leanpkg.toml
slides.pdf		slides.pdf

Provide feedback