2 commits

Author	SHA1	Message	Date
Sebastian Ullrich	f2cb01bbf0	chore(lean-mode): rename to lean4-mode	2018-09-08 18:37:58 -07:00
Sebastian Ullrich	7d5a52299e	feat(lean-mode): embed for the time being	2018-09-08 18:37:58 -07:00