Formalising Overlap Algebras in Matita (Q3094175): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Spurious disambiguation errors and how to get rid of them
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+The point of pointless topology
@@ Property / cites work: The point of pointless topology / rank @@
+Normal rank
@@ Property / cites work @@
+The overlap algebra of regular opens
@@ Property / cites work: The overlap algebra of regular opens / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization and the Yoneda embedding
@@ Property / cites work: Normalization and the Yoneda embedding / rank @@
+Normal rank
@@ Property / cites work @@
+Hints in Unification
@@ Property / cites work: Hints in Unification / rank @@
+Normal rank
@@ Property / cites work @@
+A compact kernel for the calculus of inductive constructions
+Normal rank
@@ Property / cites work @@
+User interaction with the Matita proof assistant
@@ Property / cites work: User interaction with the Matita proof assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Smart Matching
@@ Property / cites work: Smart Matching / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank
@@ Property / cites work @@
+First-Class Type Classes
@@ Property / cites work: First-Class Type Classes / rank @@
+Normal rank