Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688): Difference between revisions

@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow
@@ Property / cites work: Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing mathematical knowledge as a biform theory graph: a case study
+Normal rank
@@ Property / cites work @@
+High-Level Theories
@@ Property / cites work: High-Level Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Biform Theories in Chiron
@@ Property / cites work: Biform Theories in Chiron / rank @@
+Normal rank
@@ Property / cites work @@
+The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
+Normal rank
@@ Property / cites work @@
+Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
+Normal rank
@@ Property / cites work @@
+Theory morphisms in Church's type theory with quotation and evaluation
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
+Normal rank
@@ Property / cites work @@
+Dependently Typed Programming in Agda
@@ Property / cites work: Dependently Typed Programming in Agda / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank