Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (Q4628488)
From MaRDI portal
scientific article; zbMATH DE number 7036050
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Isabelle Formalization of Set Theoretic Structures and Set Comprehensions |
scientific article; zbMATH DE number 7036050 |
Statements
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (English)
0 references
14 March 2019
0 references
Isabelle
0 references
Mizar
0 references
set-theoretic structure
0 references
set comprehension
0 references
multiple inheritance
0 references
