Skip to content

Paco v2.1.0
Compare
Choose a tag to compare
@gilhur gilhur released this 18 Mar 07:02
· 99 commits to master since this release
v2.1.0
d9b4232
  • Simplify the upto technique using "companion" following the following paper:
    • Damien Pous, Coinduction All the Way Up, LICS 2016.
  • Add tactics for upto reasoning:
    uinit, uunfold, ubase, ustep, uclo, ucofix, ufinal, ucompat, gcpn_fold.
Assets 2
Loading