damien-pous / coinductionLinks

coinduction library for Coq
18Updated 2 months ago

Alternatives and similar repositories for coinduction

Users that are interested in coinduction are comparing it to the libraries listed below

Sorting: