Gabriel Ebner 88ef7f384c perf(leanpkg/main): disable lemma generation for main function		2017-05-01 14:11:39 -07:00
..
leanpkg	perf(leanpkg/main): disable lemma generation for main function	2017-05-01 14:11:39 -07:00
.project
leanpkg.path
leanpkg.toml