Giters
lukaszcz
/
coinduction
A Coq plugin to help with proofs by coinduction.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
4
Issues:
0
Forks:
lukaszcz/coinduction Watchers
Łukasz Czajka
lukaszcz
Jevin Sweval
jevinskie
James Cloos
jhcloos
Scott Fleischman
scott-fleischman