Skip to content

Paco v4.0.1

Compare
Choose a tag to compare
@minkiminki minkiminki released this 27 Sep 13:34
· 64 commits to master since this release
  • Add weak respectful closures.
  • Add the lemma rclo_clo_base.