Formal-Systems-Laboratory/coinduction
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Supplemental material for ESOP 2018 paper "Program Verification by Coinduction" by Brandon Moore, Lucas Pena, Grigore Rosu See READMEs in individual directories for more information