Skip to content
GitLab
Explore
Sign in
gpfsl
README.md
Find file
Blame
Permalink
Jan 28, 2025
16b36a17
bump CI to Coq 8.20 (but that has warnings)
· 16b36a17
Ralf Jung
authored
Jan 28, 2025
16b36a17
bump CI to Coq 8.20 (but that has warnings)
Ralf Jung
authored
Jan 28, 2025
Loading