Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125): Difference between revisions

@@ Property / cites work @@
+Zen and the art of formalisation
@@ Property / cites work: Zen and the art of formalisation / rank @@
+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 @@
+Constructive version of Boolean algebra
@@ Property / cites work: Constructive version of Boolean algebra / 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 @@
+Non-uniform (hyper/multi)coherence spaces
@@ Property / cites work: Non-uniform (hyper/multi)coherence spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Cantor theorem and friends, in logical form
@@ Property / cites work: Cantor theorem and friends, in logical form / rank @@
+Normal rank