[om] OM + PVS

Juergen Zimmer jzimmer at ags.uni-sb.de
Fri Feb 6 18:43:19 CET 2004

Andrew Adams and I worked on integrating a fully-automatic version of PVS
into the MathWeb Software Bus. Our MathWeb service also accepts OpenMath
for the formulas. Unfortunately, we haven't written anything down until
Ask Andrew if you are interested.
"Andrew A. Adams " <A.A.Adams at reading.ac.uk>


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