~/bend-docscommunity

PROOF.bend checks

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

4 imports
import Base
import ./LAWS.bend as Laws
import ./main.bend as S
import ./types.bend as T

This file declares nothing of its own.