LOUI
From MaRDI portal
Cited in
(26)- RegStab
- jsCoq
- MAYA
- MBase
- Pcoq
- MathWeb
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- XBarnacle
- Plat-Omega
- Omega-ANTS
- P.rex
- Doris
- Multi
- ProofTool
- XIsabelle
- Jape
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
- KI 2004: Advances in Artificial Intelligence
- ProofViz
- ProofWidgets
- Tactics for hierarchical proof
- ProofViz: an interactive visual proof explorer
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with MEGA
This page was built for software: LOUI
