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