Leonardo de Moura e9bcc779fe feat: add Array.mapM'		2022-08-03 11:18:19 -07:00
..
Basic.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
BasicAux.lean	feat: add Array.mapM'	2022-08-03 11:18:19 -07:00
BinSearch.lean	chore: cleanup	2022-01-10 16:25:07 -08:00
DecidableEq.lean	refactor: prepare to elaborate a[i] notation using typeclasses	2022-07-09 15:24:22 -07:00
InsertionSort.lean	refactor: prepare to elaborate a[i] notation using typeclasses	2022-07-09 15:24:22 -07:00
Mem.lean	doc: document all the tactics	2022-08-01 08:08:03 -07:00
QSort.lean	feat: use new termination_by syntax	2022-01-12 16:23:25 -08:00
Subarray.lean	chore: remove getOp functions	2022-07-09 16:09:28 -07:00