/Isabelle-CAS-Integration

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

Primary LanguageIsabelle

Watchers