' Reasoning about Interactive Programs
Steve Zdancewic
Yannick Zakowski
Lef Ioannidis
Jessica Shi
 

Version 0.1 (2024-05-30 15:04, Coq 8.17.1 or later)