This is a read-only archive of lispforum.com. The forum was locked to new users and posts and is preserved here as static HTML from a database snapshot taken on 2019-09-07.

PVS and LISP

4 posts · 3055 views

mparsa

#1 Thu Jun 28, 2012 12:32 pm

Is there anybody who works with both PVS and lisp ? I have some questions ...

edgar-rft

#2 Sat Jun 30, 2012 9:20 am

Re: PVS and LISP

The Pig Veterinary Society and Lisp? Or what are you talking about? Please be more cryptic!

- edgar

Goheeca

#3 Sat Jun 30, 2012 7:33 pm

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.

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.

mparsa

#4 Mon Jul 02, 2012 8:16 am

Re: PVS and LISP

I mean specification and verification system.
http://pvs.csl.sri.com/