Interfacing Coq + SSReflect with GAP (Q5170233): Difference between revisions

@@ Property / cites work @@
+Q4790651
@@ Property / cites work: Q4790651 / rank @@
+Normal rank
@@ Property / cites work @@
+Hints in Unification
@@ Property / cites work: Hints in Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Type-checking injective pure type systems
@@ Property / cites work: Type-checking injective pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232470
@@ Property / cites work: Q4232470 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Computation Software Composability
@@ Property / cites work: Symbolic Computation Software Composability / rank @@
+Normal rank
@@ Property / cites work @@
+Packaging Mathematical Structures
@@ Property / cites work: Packaging Mathematical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282537
@@ Property / cites work: Q4282537 / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Groups Representation Theory with Coq
@@ Property / cites work: Finite Groups Representation Theory with Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Working with Mathematical Structures in Type Theory
+Normal rank