search

agrarpan / coq-synthesis

coq-synthesis is a Coq plugin for proof generation and next tactic prediction
12 stars 1 forks source link

[Infra] Figure out how to load plugin into VSCode #5

Open tlringer opened 1 year ago

tlringer commented 1 year ago

The plugin works in CoqIDE, but there are still issues loading it in VSCode