CERTORA-CONTINUOUS-FORMAL-VERIFICATION.2022-23-Ipfs-hashes.json

{
  "name": "CERTORA-CONTINUOUS-FORMAL-VERIFICATION.2022-23",
  "hash": "QmXnZXKyfbzS3xLVcHM2gcstRzv23Xa8NuH4HifwPZ45ww",
  "encodedHash": "0x8c5c6b73375a981af5e6b8b1cf860500f5c2cfc0570a98203b7f6b48c03d42ba"
}