An integrated web platform for the Mizar Mathematical Library (Q6159377)
From MaRDI portal
scientific article; zbMATH DE number 7691295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An integrated web platform for the Mizar Mathematical Library |
scientific article; zbMATH DE number 7691295 |
Statements
An integrated web platform for the Mizar Mathematical Library (English)
0 references
2 June 2023
0 references
mathematical knowledge management
0 references
Mizar Mathematical Library
0 references
QED manifesto
0 references
web service
0 references
