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