~/bend-docscommunity

PROOF.bend checks

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

Computational proofs for the Base64 laws. Each proof is intentionally transparent: the law checker reduces the Base-only implementation and closes the equality with {==}.

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

This file declares nothing of its own.