Leonardo de Moura 9f88ea8047 chore: remove old decide!, nativeRefl!, and nativeDecide!		2021-03-11 08:06:20 -08:00
..
Basic.lean	chore: remove old decide!, nativeRefl!, and nativeDecide!	2021-03-11 08:06:20 -08:00
BinSearch.lean	fix: index out of bounds	2020-12-08 11:44:10 -08:00
InsertionSort.lean	chore: add simp lemmas, theorem naming convention	2021-02-16 11:53:49 -08:00
QSort.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Subarray.lean	feat: add ForIn type class	2021-02-04 17:59:44 -08:00