PROOF.bend checks

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

import Base
import ./LAWS.bend as Laws
import ./src/batch.bend as Batch
import ./src/linear_regression.bend as Linear

This file declares nothing of its own.