[Axiom-math] FW: [om] OpenMath and PVS

[Bill Page]

How about PVS and Axiom?

-----Original Message-----
From: address@hidden [mailto:address@hidden On Behalf Of
Richard Fateman
Sent: Thursday, February 05, 2004 1:27 PM
To: address@hidden
Subject: [om] OpenMath and PVS


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

--
address@hidden  -  general discussion on OpenMath