PVS and LISP
PVS and LISP
Is there anybody who works with both PVS and lisp ? I have some questions ...
Re: PVS and LISP
I would say he means http://www.nuprl.org/PVS/Libraries/ from his other threads.
And I want to ask OP about why is the library good.
And I want to ask OP about why is the library good.
cl-2dsyntax is my attempt to create a Python-like reader. My mirror of CLHS (and the dark themed version). Temporary mirrors of aferomentioned: CLHS and a dark version.
Re: PVS and LISP
I mean specification and verification system.
http://pvs.csl.sri.com/
http://pvs.csl.sri.com/