A project to integrate the functionality of Computer Algebra Systems into Isabelle
Primary LanguageIsabelle