https://github.com/nasa/pvslib

NASA PVS Library of Formal Developments
https://github.com/nasa/pvslib

Last synced: about 1 month ago
JSON representation

NASA PVS Library of Formal Developments

• Host: GitHub
• URL: https://github.com/nasa/pvslib
• Owner: nasa
• Created: 2014-10-27T19:27:29.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2024-08-02T21:11:37.000Z (about 2 months ago)
• Last Synced: 2024-08-02T23:39:47.096Z (about 2 months ago)
• Language: Common Lisp
• Homepage: http://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library
• Size: 83.8 MB
• Stars: 259
• Watchers: 31
• Forks: 50
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project