Skip to content

Releases: TheoWinterhalter/coq-partialfun

TYPES 2023 abstract

10 May 13:33
@TheoWinterhalter TheoWinterhalter
types2023
b1e77fb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
TYPES 2023 abstract Pre-release
Pre-release 
Merge pull request #8 from CoqHott/no-funext

Removing funext
Assets 2
Loading