pvslib
- NASALib is a continuing collaborative effort that has spanned over 3 decades, to aid in research related to theorem proving sponsored by NASA (https://shemesh.larc.nasa.gov/fm/pvs/). It consists of a collection of formal development (i.e., libraries) written in the Prototype Verification system ([pvs](http://pvs.csl.sri.com)), contributed by SRI, NASA,NIA, and the pvs community, and maintained by the [NASA/NIA Formal Methods Team at LaRC](http://shemesh.larc.nasa.gov/fm).