Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Zen and the art of formalisation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: User interaction with the Matita proof assistant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive version of Boolean algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The overlap algebra of regular opens / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-uniform (hyper/multi)coherence spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A minimalist two-level foundation for constructive mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cantor theorem and friends, in logical form / rank | |||
Normal rank |
Latest revision as of 09:11, 4 July 2024
scientific article; zbMATH DE number 5934454
Language | Label | Description | Also known as |
---|---|---|---|
English | Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita |
scientific article; zbMATH DE number 5934454 |
Statements
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (English)
0 references
29 July 2011
0 references