hacspec-lib (cargo): The hacspec library.
Keywords: cryptography|formal-verification|specifications