Formalizing Moessner's theorem and generalizations in Nuprl - Bickford, Mark; Kozen, Dexter; Silva, Alexandra (Journal of logical and algebraic methods in programming, 2022)
Keywords: Formalization; Moessner's theorem; Nuprl; Pascal triangle; Nuprl; Formalization; Moessner's theorem; Pascal triangle