Web Interfaces for Proof Assistants (Q2867935): Difference between revisions

@@ 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 @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+Ωmega: Towards a mathematical assistant
@@ Property / cites work: Ωmega: Towards a mathematical assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471938
@@ Property / cites work: Q4471938 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Functional Programming
@@ Property / cites work: Advanced Functional Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge representation and management in ACTIVEMATH
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank