Skip to content

add vscoq language server#348

Open
gares wants to merge 1 commit intorocq-prover:mainfrom
gares:add-vscoq2
Open

add vscoq language server#348
gares wants to merge 1 commit intorocq-prover:mainfrom
gares:add-vscoq2

Commits

Commits on Oct 23, 2023