MATHsAiD
From MaRDI portal
Software:33163
No author found.
Related Items (4)
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ Conjecture synthesis for inductive theories ⋮ Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems ⋮ Lemma discovery for induction. A survey
This page was built for software: MATHsAiD
