[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/


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.