GitHub - scmlab/I-Love-Lean

Name	Name	Last commit message	Last commit date
Latest commit Lim, Thing-han [ change ] Replace elabUsingFns with elabTerm Apr 21, 2021 d4403d0 · Apr 21, 2021 History 5 Commits
src	src	[ change ] Replace elabUsingFns with elabTerm	Apr 21, 2021
.gitignore	.gitignore	Init Project	Mar 17, 2021
leanpkg.toml	leanpkg.toml	Init Project	Mar 17, 2021