Skip to content

Coinduction 1.9
Compare
Choose a tag to compare
@damien-pous damien-pous released this 18 Mar 09:30
v1.9
fea6bb3
  • compatibility with Coq 8.19
  • linking the companion to the tower as defined in [tower.v]
  • monotonicity of [gfp] and related lemmas for the chain and the companion
Assets 2
Loading