Q6079227 (Q6079227): Difference between revisions

@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+Locales: a module system for mathematical theories
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a heterogeneous query language for mathematical knowledge
+Normal rank
@@ Property / cites work @@
+Translating the IMPS theory library to MMT/OMDoc
@@ Property / cites work: Translating the IMPS theory library to MMT/OMDoc / rank @@
+Normal rank
@@ Property / cites work @@
+Challenges and Experiences in Managing Large-Scale Proofs
+Normal rank
@@ Property / cites work @@
+Relational data across mathematical libraries
@@ Property / cites work: Relational data across mathematical libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Matching Concepts across HOL Libraries
@@ Property / cites work: Matching Concepts across HOL Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Local Theory Specifications in Isabelle/Isar
@@ Property / cites work: Local Theory Specifications in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extending MKM Formats at the Statement Level
@@ Property / cites work: Extending MKM Formats at the Statement Level / rank @@
+Normal rank
@@ Property / cites work @@
+The Mizar Mathematical Library in OMDoc: translation and applications
+Normal rank
@@ Property / cites work @@
+HOL(y)Hammer: online ATP service for HOL Light
@@ Property / cites work: HOL(y)Hammer: online ATP service for HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable LCF-Style Proof Translation
@@ Property / cites work: Scalable LCF-Style Proof Translation / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Knowledge Management for HOL Light
@@ Property / cites work: Towards Knowledge Management for HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Importing HOL Light into Coq
@@ Property / cites work: Importing HOL Light into Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Making PVS accessible to generic services by interpretation in a universal format
+Normal rank
@@ Property / cites work @@
+QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
+Normal rank
@@ Property / cites work @@
+A Search Engine for Mathematical Formulae
@@ Property / cites work: A Search Engine for Mathematical Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanized Translation from Higher-Order Logic to Set Theory
+Normal rank
@@ Property / cites work @@
+Translating higher-order clauses to first-order clauses
+Normal rank
@@ Property / cites work @@
+Automatically finding theory morphisms for knowledge management
+Normal rank
@@ Property / cites work @@
+The Coq library as a theory graph
@@ Property / cites work: The Coq library as a theory graph / rank @@
+Normal rank
@@ Property / cites work @@
+Representing structural language features in formal meta-languages
+Normal rank
@@ Property / cites work @@
+From LCF to Isabelle/HOL
@@ Property / cites work: From LCF to Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+How to identify, translate and combine logics?
@@ Property / cites work: How to identify, translate and combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
+Normal rank
@@ Property / cites work @@
+Interaction with formal mathematical documents in Isabelle/PIDE
+Normal rank