Skip to content

Tags: nachivpn/k

Tags

zenodo-v1.1.0

Toggle zenodo-v1.1.0's commit message 
Merge branch master

zenodo-v1.0.2

Toggle zenodo-v1.0.2's commit message

Verified

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 
Update README.md

icfp22-artifact-submission-v3

Toggle icfp22-artifact-submission-v3's commit message

Verified

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 
Update README.md

zenodo-v1.0.1

Toggle zenodo-v1.0.1's commit message 
Add comment about axioms being dispensable

icfp22-artifact-submission-v2

Toggle icfp22-artifact-submission-v2's commit message 
Add comment about axioms being dispensable

zenodo-v1.0.0

Toggle zenodo-v1.0.0's commit message 
Update README.md

icfp22-artifact-submission-v1

Toggle icfp22-artifact-submission-v1's commit message 
Update README.md

esop22-rebuttal

Toggle esop22-rebuttal's commit message 
fixes IS4Plus.agda

icfp22-submission

Toggle icfp22-submission's commit message 
WIP: splits up normalization (soundness)

esop22-submission

Toggle esop22-submission's commit message 
WIP: splits up normalization