The following pages link to MAYA (Q15955):
Displaying 22 items.
- A scalable module system (Q391632) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- Management of Change in Declarative Languages (Q2907332) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Structure Formation in Large Theories (Q3453112) (← links)
- Structured Formal Development with Quotient Types in Isabelle/HOL (Q3582695) (← links)
- (Q4413891) (← links)
- (Q4737121) (← links)
- (Q4825544) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- Enhanced Theorem Reuse by Partial Theory Inclusions (Q5302900) (← links)
- Towards Mathematical Knowledge Management for Electrical Engineering (Q5428285) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Theorem Proving in Higher Order Logics (Q5464644) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)
- Mechanizing Mathematical Reasoning (Q5717451) (← links)
- Mechanizing Mathematical Reasoning (Q5717455) (← links)
- Interpretation of Locales in Isabelle: Theories and Proof Contexts (Q5756774) (← links)
