Formalizing Moessner's theorem and generalizations in Nuprl

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2021.100713 ◽

2022 ◽

Vol 124 ◽

pp. 100713

Author(s):

Mark Bickford ◽

Dexter Kozen ◽

Alexandra Silva

Download Full-text