Cited in
(11)- IsaCoSy
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
- IsaPlanner
- HR
- Hipster
- QuickSpec
- Plat-Omega
- TIP
- Conjecture synthesis for inductive theories
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
- Lemma discovery for induction. A survey
This page was built for software: MATHsAiD