Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} |
scientific article |
Statements
Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (English)
0 references
24 November 2021
0 references
Moessner's theorem
0 references
Pascal triangle
0 references
formalization
0 references
Nuprl
0 references
