PROOF.bend checks

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

import Base
import ./LAWS.bend as Laws
import ./topology.bend as T
import ./protein.bend as P

This file declares nothing of its own.