Leonardo de Moura fdaae20594 chore: remove workaround		2022-08-04 21:29:31 -07:00
..
Basic.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
Bitwise.lean	feat: show bitwise terminates	2022-06-12 14:01:05 -07:00
Control.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Div.lean	feat: WF lemma for Nat division	2022-06-12 14:01:05 -07:00
Gcd.lean	feat: add WellFoundedRelation for termination_by	2021-09-25 17:21:03 -07:00
Linear.lean	chore: remove workaround	2022-08-04 21:29:31 -07:00
Log2.lean	refactor: simplify log2 termination proof	2022-05-18 10:20:36 +02:00
SOM.lean	chore: remove staging workarounds	2022-04-26 08:23:43 -07:00