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