Cited in
(36)- A scalable module system
- Mechanizing Mathematical Reasoning
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- scientific article; zbMATH DE number 2086587 (Why is no real title available?)
- Management of Change in Declarative Languages
- Deduction as an engineering science
- KI 2004: Advances in Artificial Intelligence
- Manipulating algebraic specifications with term-based and graph-based representations
- Structured formal development with quotient types in Isabelle/HOL
- scientific article; zbMATH DE number 2111735 (Why is no real title available?)
- Computer supported mathematics with MEGA
- HasCasl
- CoFI
- MobileOBJ
- CASL
- IsaWin
- TeXmacs
- SCR
- STEXIDE
- MBase
- LOUI
- Omega-ANTS
- Plat-Omega
- Doris
- Multi
- Crystal: Integrating structured queries into a tactic language
- Mechanizing Mathematical Reasoning
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
- Enhanced Theorem Reuse by Partial Theory Inclusions
- Theorem Proving in Higher Order Logics
- scientific article; zbMATH DE number 1951636 (Why is no real title available?)
- Towards Mathematical Knowledge Management for Electrical Engineering
- Structure formation in large theories
- Automated theorem provers: a practical tool for the working mathematician?
- Change management for heterogeneous development graphs
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
This page was built for software: MAYA
