The following pages link to LOUI (Q31452):
Displaying 9 items.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- ProofViz: an interactive visual proof explorer (Q832103) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- (Q4428312) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)