PVS

(β˜… 182)

The People's Verification System

File Explorer

Download Latest Version (.zip)
  • .gitignore
  • .gitmodules
  • config.guess
  • config.sub
  • configure
  • configure.in
  • Dockerfile
  • INSTALL
  • install-sh
  • LICENSE
  • Makefile.in
  • NOTICES
  • packages.lisp
  • proveit.in
  • provethem.in
  • pvs-config.lisp
  • pvs-get-patches.in
  • pvs-tex.sub
  • pvs.asd
  • pvs.in
  • pvs.sty
  • pvs.system
  • pvsio-web.in
  • pvsio.in
  • pvslogo.gif
  • README.md
  • README.pvsio-web
  • vagrant.README
  • Vagrantfile

# Installation Guide

1. Get the code
git clone https://github.com/SRI-CSL/PVS

Downloads the entire project code from GitHub to your computer.

cd PVS

Moves into the project folder you just downloaded.

2. Docker

Easy Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Docker Desktop Needed to build and run containers. Install it and keep it running in the background.
docker build -t pvs .

Builds a runnable image based on the Dockerfile.

docker run -p 8080:80 pvs

Runs the built image as an actual container.

βœ… Run docker compose ps to check the containers are Up. If the README mentions a port, open http://localhost:PORT in your browser.

3. Make

Medium
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Make Usually pre-installed on Linux/macOS. On Windows, install separately (e.g. via MSYS2 or WSL).
⚠️ This is a large repository, so this method may point to an internal sub-package rather than the actual core product. Check the full README as well.
cd doc/datatypes

This project's files live in a subfolder, so move into it first.

make

Compiles the code based on the generated build configuration to produce an executable.

βœ… If it finishes without errors, it worked. Try running the generated executable directly.

Today's picks

ML-For-Beginners β˜… 89,646

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Jupyter Notebook
Web-Dev-For-Beginners β˜… 96,420

24 Lessons, 12 Weeks, Get Started as a Web Developer

JavaScript
tabby β˜… 74,042

A terminal for a more modern age

TypeScript
hermes-agent β˜… 233,851

The agent that grows with you

Python
Best-websites-a-programmer-should-visit β˜… 76,276

:link: Some useful websites for programmers.
learn-claude-code β˜… 74,892

Bash is all you need - A nano claude code–like γ€Œagent harness」, built from 0 to 1

Python
// repository documentation