Leonardo de Moura 9084c4fafc feat: add DepElim.lean		2020-08-05 16:03:33 -07:00
..
eqns	feat: add DepElim.lean	2020-08-05 16:03:33 -07:00
new-frontend
Basic.lean	refactor: cleanup	2019-12-06 14:41:39 -08:00