A library that complements the built-in system utilities with theorems and with non-built-in system utilities.
This is just a start towards a comprehensive library. Some candidate utilities are under community-book kestrel/std.