Lean.git

LEAN勉強会の資料、演習問題の解答例など

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
.gitignore		.gitignore
Lean勉強会.pdf		Lean勉強会.pdf
README.md		README.md
category.lean		category.lean
chapter11.lean		chapter11.lean
chapter2.lean		chapter2.lean
chapter3.lean		chapter3.lean
chapter4.lean		chapter4.lean
chapter5.lean		chapter5.lean
chapter6.lean		chapter6.lean
chapter7.lean		chapter7.lean
chapter8.lean		chapter8.lean
chapter9.lean		chapter9.lean
exercises.lean		exercises.lean
my_algebra.lean		my_algebra.lean
tutorial.pdf		tutorial.pdf
vector.lean		vector.lean

tounaishouta/Lean