https://github.com/sri-csl/pvs

The People's Verification System
https://github.com/sri-csl/pvs

Last synced: about 2 months ago
JSON representation

The People's Verification System

• Host: GitHub
• URL: https://github.com/sri-csl/pvs
• Owner: SRI-CSL
• License: gpl-2.0
• Created: 2011-06-02T00:58:50.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2024-04-09T07:35:06.000Z (9 months ago)
• Last Synced: 2024-04-09T08:42:02.030Z (9 months ago)
• Language: Common Lisp
• Homepage: http://pvs.csl.sri.com
• Size: 189 MB
• Stars: 127
• Watchers: 20
• Forks: 32
• Open Issues: 26
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project