PROOF.bend checks
raw source on the hub · import 0xfd7037736e4fa1794a671d0278638da7/PROOF.bend as PROOF
Computational proofs for Prng'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 0xfd7037736e4fa1794a671d0278638da7/PROOF.bend as PROOF
Computational proofs for Prng's definitional laws.
import Base import ./LAWS.bend as Laws
This file declares nothing of its own.