Idris.Prover

prover

showProof

proverSettings

assumptionNames

prove

elabStep

dumpState

lifte

receiveInput

ploop