search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

Javascript tools submodules #38

Closed thehogfather closed 10 years ago

thehogfather commented 10 years ago

This adds a folder (javascript/) containing two web-based tools (pvsio-web and ProofExplorer) for interacting with PVS. The tools are included as git submodules.