proof-assistant-bot-0.2.0: Telegram bot for proof assistants

Safe Haskell	None
Language	Haskell2010

Proof.Assistant.Lean

Documentation

callLean :: InterpreterState LeanSettings -> InterpreterRequest -> IO ByteString Source #