[om] OpenMath and PVS

Richard Fateman fateman at cs.berkeley.edu
Thu Feb 5 19:26:33 CET 2004


Have any of the OM activities interacted with PVS,
in particular
see
http://pvs.csl.sri.com/doc/prelude.html

or for background, see the
PVS home page
http://pvs.csl.sri.com/

if not, its level of formalization might be worth examining and
perhaps even adopting.

RJF

--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems



More information about the Om mailing list