Leonardo de Moura a82abee1b2 feat: sum of monomials normal form by reflection		2022-04-22 18:51:48 -07:00
..
Basic.lean	feat: add List.le_antisymm	2022-04-20 16:31:25 -07:00
Bitwise.lean	fix: add missing borrow annotations	2021-10-26 11:51:30 -07:00
Control.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Div.lean	chore: remove temporary workarounds	2022-04-09 12:13:37 -07:00
Gcd.lean	feat: add WellFoundedRelation for termination_by	2021-09-25 17:21:03 -07:00
Linear.lean	feat: add simp theorem (a : Nat) : (a ≤ 0) = (a = 0)	2022-03-14 15:43:42 -07:00
Log2.lean	chore: remove workarounds	2022-03-19 09:44:57 -07:00
SOM.lean	feat: sum of monomials normal form by reflection	2022-04-22 18:51:48 -07:00