Releases: damien-pous/coinduction-examples
Releases · damien-pous/coinduction-examples
Coinduction Examples 1.8, for Rocq 9.0
move from Coq to Rocq, transition packages no longer required
Coinduction 1.7 examples
port to new tower-based implementation of coq-coinduction (v1.7)
Coinduction 1.6 Examples
no code change since 1.5
Coinduction Examples, initial release
Examples on how to use the Coinduction library