Failure

Observer ProverResult

Free

std

FutureOps

isabelle

flatMapC

FutureOps

fullMessage

ProverException

fun

App

future

CancellableFuture FutureOps