Idris.Interactive

caseSplitAt

addClauseFrom

addProofClauseFrom

addMissing

makeWith

makeCase

doProofSearch

makeLemma