MAYA
From MaRDI portal
Software:15955
swMATH3423MaRDI QIDQ15955FDOQ15955
Author name not available (Why is that?)
Cited In (22)
- Mechanizing Mathematical Reasoning
- A scalable module system
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Title not available (Why is that?)
- Structure Formation in Large Theories
- Management of Change in Declarative Languages
- Change Management for Heterogeneous Development Graphs
- KI 2004: Advances in Artificial Intelligence
- Manipulating algebraic specifications with term-based and graph-based representations
- Title not available (Why is that?)
- Computer supported mathematics with \(\Omega\)MEGA
- 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
- Structured Formal Development with Quotient Types in Isabelle/HOL
- Title not available (Why is that?)
- Towards Mathematical Knowledge Management for Electrical Engineering
- Deduction as an Engineering Science
- Automated theorem provers: a practical tool for the working mathematician?
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
This page was built for software: MAYA
