~/bend-docscommunity

PROOF.bend checks

raw source on the hub · import 0xedb848fc7835fe5f9d34e575a7612788/PROOF.bend as PROOF

Computational proofs for ColorSample's definitional laws.

2 imports
import Base
import ./LAWS.bend as Laws

This file declares nothing of its own.