[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

or for background, see the
PVS home page

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


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