GitHub repository: Formal-Systems-Laboratory/coinduction
Primary language: Coq
Created: 2017-01-03T21:16:14Z
Description: language-independent program verification by coinduction