Prove.find.proofs: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/prove.bend as Prove
Lines 33-35 of ezx@1.11.0.0/src/ez/prove.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/prove.bend&start_line=33&end_line=35

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=find.at