clayrat/fav-ssr Issues
Project license
Updatedcoq-algs
UpdatedUse new inequality patterns
UpdatedAppel-Leroy
Updated 1Okasaki structures
UpdatedCompare with a 2024 revision
Updated 1Sorting: Exercise 2.1
UpdatedTernary tries (12.4)
UpdatedTree rotations (5.5)
UpdatedProve Akra-Bazzi light
Updated 1sketch up a finset/map lib
Updateduse boolean predicates for sets
Closed 1Use new set_nth lemmas?
UpdatedSwitch to up_log
Closed 1