LOUI
From MaRDI portal
Software:31452
No author found.
Related Items (9)
ProofViz: an interactive visual proof explorer ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Unnamed Item ⋮ Tactics for hierarchical proof ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ KI 2004: Advances in Artificial Intelligence ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
This page was built for software: LOUI
