Skip to content

README.md: link to separate repo for VsCoq Legacy #1321

README.md: link to separate repo for VsCoq Legacy

README.md: link to separate repo for VsCoq Legacy #1321

Annotations

1 warning

nix-dev-build (macos-latest, coq-master, fatalwarnings)

succeeded Oct 18, 2024 in 7m 34s