[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