Leonardo de Moura efa9d7e110 perf(library/type_context): performance issue when proving equation lemmas		2018-03-26 12:57:19 -07:00
..
lean	perf(library/type_context): performance issue when proving equation lemmas	2018-03-26 12:57:19 -07:00
.gitignore