hacspec-util (cargo): hacspec utilities
Keywords: cryptography|formal-verification|specifications