Leonardo de Moura 89f88b1caa feat: simplify nested arith expressions		2022-02-27 09:01:52 -08:00
..
Main.lean	feat: basic support for linear Nat arithmetic at simp	2022-02-26 08:58:32 -08:00
Rewrite.lean	feat: simplify nested arith expressions	2022-02-27 09:01:52 -08:00
SimpAll.lean	fix: simp_all was "self-simplifying" simplified hypotheses	2022-02-23 16:48:28 -08:00
SimpCongrTheorems.lean	refactor: CongrLemma => SimpCongrTheorem	2022-02-06 09:15:39 -08:00
SimpTheorems.lean	chore: "simp lemma" => "simp theorem"	2022-02-06 09:15:39 -08:00
Types.lean	feat: basic support for linear Nat arithmetic at simp	2022-02-26 08:58:32 -08:00