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

@@ Property / describes a project that uses @@
+Matita
@@ Property / describes a project that uses: Matita / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22673-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W17079225
@@ Property / OpenAlex ID: W17079225 / rank @@
+Normal rank
@@ 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