Skip to content

Releases: TheoWinterhalter/rocq-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
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
TYPES 2023 abstract Pre-release
Pre-release 
Merge pull request #8 from CoqHott/no-funext

Removing funext
Loading