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:
0
lukaszcz/coinduction Stargazers
Ali Caglayan
Alizter
Lîm Tsú-thuàn
dannypsnl
Erik Martin-Dorel
erikmd
Łukasz Czajka
lukaszcz
Scott Fleischman
scott-fleischman