Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
152
stars
31
forks
source link
Adapt to Coq PR #19404: an algebra of types for the instances of notation variables #810
Open
herbelin opened 3 months ago
This PR is in preparation of coq/coq#19404 which introduces an algebra of types for the instances of notation variables.
To be merged synchronously.