Nand.Properties: proving adequacy of the nand based operations automatically using exploration functions
Nand.Properties: proving adequacy of the nand based operations automatically using exploration functions

crypto-agda/crypto-agda