·
1190 commits
to main
since this release
906c61c
This commit was signed with the committer’s verified signature.
simongregersen
Simon Gregersen
Coq formalization corresponding to the POPL 2024 paper found at https://doi.org/10.1145/3632868.