+

Coinduction 1.3, for Coq 8.13

damien-pous released this 29 Oct 18:36

· 52 commits to master since this release

faf0248

Fix issue with slow unification problems occurring during typeclass resolution.

Assets 2

点击这是indexloc提供的php浏览器服务，不要输入任何密码和下载