@hackage / hout

Non-interactive proof assistant monad for first-order logic.