Multi
From MaRDI portal
Cited in
(11)- Pcoq
- SicoTHEO
- Proof planning with multiple strategies
- Failure reasoning in multiple-strategy proof planning
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Lambda-Clam
- Plat-Omega
- Omega-ANTS
- Automated Deduction – CADE-20
- Mathematical Knowledge Management
- Computer supported mathematics with MEGA
This page was built for software: Multi
