The download links on this page provide the (C/C++) sources for veriT.
The current version (200907) of veriT is distributed under the BSD license. Click here to start downloading.
To fully use veriT, you will need a working version of
the E-prover.
The build and compile procedure of veriT downloads and compiles the sources of:
