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