[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] OS X?



Yes, it's available at ftp://ftp.csl.sri.com/pub/users/owre/pvs3.3-beta/

Sam

Vladimir Voevodsky <vladimir@ias.edu> wrote:

> Hello,
> 
> in your announcement for the PVS course (in May) it is mentioned that  PVS
> runs on Mac Os X in beta form. Is it possible to obtain a copy   of this
> beta version?
> 
> Thank you,
> Vladimir.