LOUI
From MaRDI portal
Cited in
(26)- ProofViz: an interactive visual proof explorer
- ProofWidgets
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- KI 2004: Advances in Artificial Intelligence
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with MEGA
- RegStab
- MAYA
- MBase
- Pcoq
- MathWeb
- Omega-ANTS
- Plat-Omega
- XBarnacle
- Doris
- Multi
- P.rex
- ProofTool
- XIsabelle
- Jape
- Tactics for hierarchical proof
- ProofViz
- 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
