paraverif

$ cd server/

$ python server.py

new open a terminition

$ cd example

$ corebuild mutualEx.byte -pkg str,re2 -I src

$ ./mutualEx.byte

About

MIT License

Languages

Language:Isabelle 70.9%Language:Objective-C 26.6%Language:OCaml 1.8%Language:Standard ML 0.4%Language:Python 0.1%Language:Shell 0.1%Language:MATLAB 0.0%Language:M 0.0%Language:Dafny 0.0%Language:Mercury 0.0%