module Main where

import Proof.Assistant.Bot (run)

main :: IO ()
main = run