Skip to content
GitLab
Explore
Sign in
tutorial-popl20
README.md
Find file
Blame
History
Permalink
test with Coq 8.20 instead of Coq 8.18
· fb5e8514
Ralf Jung
authored
Oct 02, 2024
fb5e8514
Ralf Jung authored