Skip to content

Coq Library of Complexity Theory version 1.0

Latest
Latest

Choose a tag to compare

View all tags
@yforster yforster released this 09 Nov 15:33
· 4 commits to coq-8.16 since this release
v1.0+8.16
2d1fa09

This release is conserving the state of the library as of November 2022. It relies on coq-library-undecidability.1.0.1+8.16.

Assets 2
Loading