Leonardo de Moura 5a924699d0 feat(library/tools/mini_crush): add nano crush		2017-02-24 23:14:05 -08:00
..
default.lean	fix(frontends/lean/elaborator): {} elaboration issue	2017-02-24 21:20:39 -08:00
nano_crush.lean	feat(library/tools/mini_crush): add nano crush	2017-02-24 23:14:05 -08:00