PROOF.bend checks
raw source on the hub · import 0xff0c68fa4ce715b1f30ee5944192f0b7/PROOF.bend as PROOF
Computational proofs for Crc32's definitional laws.
2 imports
import Base import ./LAWS.bend as Laws
This file declares nothing of its own.
raw source on the hub · import 0xff0c68fa4ce715b1f30ee5944192f0b7/PROOF.bend as PROOF
Computational proofs for Crc32's definitional laws.
import Base import ./LAWS.bend as Laws
This file declares nothing of its own.