Proof.Assistant.Lean
callLean :: InterpreterState LeanSettings -> InterpreterRequest -> IO ByteString Source #
validateLean :: LeanSettings -> InterpreterRequest -> InterpreterRequest Source #