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
Guillaume Claret
clarus
Lîm Tsú-thuàn
dannypsnl
Erik Martin-Dorel
erikmd
Jevin Sweval
jevinskie
Łukasz Czajka
lukaszcz
Scott Fleischman
scott-fleischman
Seb Mondet
smondet
Xavier Van de Woestyne
xvw