proof-assistant-bot-0.2.0: app/Main.hs

module Main where

import Proof.Assistant.Bot (run)

main :: IO ()
main = run