~/bend-docscommunity

PROOF.bend checks

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

Proof witnesses for LAWS.bend. All goals are discharged by normalization.

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

This file declares nothing of its own.