~/bend-docscommunity

PROOF.bend checks

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

Computational proofs for every executable Hex law. Base normalization is sufficient; no termination escape is used.

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

This file declares nothing of its own.