search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Write 2024/2025 roadmap #909

Open rtetley opened 3 weeks ago