Skip to content
GitLab
Explore
Sign in
actris
README.md
Find file
Blame
History
Permalink
bump to Coq 8.18
· 1b43afae
Ralf Jung
authored
Feb 02, 2024
1b43afae