def find.proofs

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

33# every proof file
34def find.proofs() -> IO(List<&2, String>):
35  find.at("PROOF.bend", "-name")

Uses (4)