A modular first formalisation of combinatorial design theory (Q2128787): Difference between revisions

@@ Property / arXiv ID @@
+.13583
@@ Property / arXiv ID: 2105.13583 / 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 @@
+Q3062061
@@ Property / cites work: Q3062061 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the structure of an algebra text with locales
+Normal rank
@@ Property / cites work @@
+Q4718791
@@ Property / cites work: Q4718791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000288
@@ Property / cites work: Q4000288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411976
@@ Property / cites work: Q3411976 / 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 graph library for Isabelle
@@ Property / cites work: A graph library for Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Computational logic: its origins and applications
@@ Property / cites work: Computational logic: its origins and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Designs, Groups and Computing
@@ Property / cites work: Designs, Groups and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Designs
@@ Property / cites work: Combinatorial Designs / rank @@
+Normal rank