~/bend-docscommunity

release.bend checks

raw source on the hub · import 0xd684886d10b431b9dce6c3b2d1ef1980/release.bend as Release

7 imports
import Base
import ./PROOF.bend as Proof
import ./witnesses.bend as Witnesses
import ./conformance.bend as Conformance
import ./benchmark.bend as Benchmark
import ./example.bend as Example
import ./generic.bend as Generic

Definitions

def main source · line 10 · raw

Bool

Reviewed upload root: laws/proofs, model and runnable checks are in closure.