Re: [isabelle] Isabelle and Computer Algebra

Lutz Schroeder wrote:
Is there any more recent work on connecting Isabelle to computer
algebra systems, or more generally to any kind of mathematics tools?

Maximilian Schlund and I have an experimental communication tool between Isabelle and some CAS - Axiom and Singular so far.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.