lukaszcz / coinduction

A Coq plugin to help with proofs by coinduction.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lukaszcz/coinduction Stargazers