swMATH19627MaRDI QIDQ31452FDOQ31452
Author name not available (Why is that?)
Official website: http://rd.springer.com/article/10.1007%2Fs001650050053?LI=true
Cited In (25)
- ProofViz
- ProofViz: an interactive visual proof explorer
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Title not available (Why is that?)
- KI 2004: Advances in Artificial Intelligence
- ProofWidgets
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with \(\Omega\)MEGA
- MAYA
- MBase
- Pcoq
- MathWeb
- Omega-ANTS
- Plat-Omega
- XBarnacle
- Doris
- Multi
- P.rex
- ProofTool
- XIsabelle
- Jape
- Tactics for hierarchical proof
- jsCoq
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
This page was built for software: LOUI
