Skip to content

Added Nix configuration for Coq 8.19 #5

Added Nix configuration for Coq 8.19

Added Nix configuration for Coq 8.19 #5

vscoq-language-server

succeeded Feb 10, 2025 in 40s