search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
189 stars 48 forks source link

Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #435

Open MSoegtropIMC opened 3 hours ago