LOUI
From MaRDI portal
Software:31452
swMATH19627MaRDI QIDQ31452FDOQ31452
Author name not available (Why is that?)
Cited In (9)
- 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
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with \(\Omega\)MEGA
- Tactics for hierarchical proof
- 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
