Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_21 ◽

2016 ◽

pp. 309-324

Author(s):

Robbert Krebbers ◽

Louis Parlant ◽

Alexandra Silva

Download Full-text