User interaction with the Matita proof assistant (Q2462635): Difference between revisions

@@ Property / cites work @@
+Mathematical knowledge management in HELM
@@ Property / cites work: Mathematical knowledge management in HELM / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790651
@@ Property / cites work: Q4790651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474349
@@ Property / cites work: Q4474349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Mizar Types
@@ Property / cites work: On the Structure of Mizar Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413887
@@ Property / cites work: Q4413887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490725
@@ Property / cites work: Q4490725 / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Q3006508
@@ Property / cites work: Q3006508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681364
@@ Property / cites work: Q4681364 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / 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 @@
+A refinement of de Bruijn's formal language of mathematics
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking Conservativity of Overloaded Definitions in Higher-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4413882
@@ Property / cites work: Q4413882 / rank @@
+Normal rank
@@ Property / cites work @@
+From Notation to Semantics: There and Back Again
@@ Property / cites work: From Notation to Semantics: There and Back Again / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413879
@@ Property / cites work: Q4413879 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Tinycals: Step by Step Tacticals
@@ Property / cites work: Tinycals: Step by Step Tacticals / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024887
@@ Property / cites work: Q3024887 / rank @@
+Normal rank