coinduction

coinduction library for Coq

13 stars

2 watching

4 forks

Language: Coq

last commit: 18 days ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq