Leonardo de Moura bccad07718 feat(library/init/lean/elaborator/basic): add [builtinCommandElab] attribute		2019-07-17 19:09:16 -07:00
..
control
data	chore(library/init/data/nat/basic): avoid empty set of equations	2019-07-16 13:13:04 -07:00
lean	feat(library/init/lean/elaborator/basic): add [builtinCommandElab] attribute	2019-07-17 19:09:16 -07:00
coe.lean
core.lean
default.lean
fix.lean
init.md
io.lean	chore(library/init/io): add HasOrelse instance	2019-07-17 19:09:16 -07:00
platform.lean
util.lean
wf.lean