Idris.Interactive

caseSplitAt

addClauseFrom

addProofClauseFrom

addMissing

makeWith

doProofSearch

makeLemma