[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Invoking PVS Batch Mode in Haskell

 I am writing a Haskell program for which I would like to invoke PVS to
simplify some expressions and automate some proofs. I am curious to
know whether there is a way to invoke PVS batch mode in Haskell and if
so, how I might go about doing such a thing. Any help would be greatly
appreciated. Thanks for your time.