Beginners' quest to formalize mathematics: a feasibility study in Isabelle (Q2287895)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beginners' quest to formalize mathematics: a feasibility study in Isabelle |
scientific article |
Statements
Beginners' quest to formalize mathematics: a feasibility study in Isabelle (English)
0 references
22 January 2020
0 references
interactive theorem proving
0 references
Isabelle
0 references
formalized mathematics
0 references
Hilbert's tenth problem
0 references
