Idris.Interactive
caseSplitAt
addClauseFrom
addProofClauseFrom
addMissing
makeWith
makeCase
doProofSearch
makeLemma