search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Vscode extension in the open VSX registry #988

Open FernandoChu opened 1 year ago

FernandoChu commented 1 year ago

It would be nice if the vscode extension is also in the open VSX registry, so that vscodium users can easily install the extension.

Once that is set up, if it's something you'd like, I can make a PR automating the publishing of the vscode extension with https://github.com/HaaLeo/publish-vscode-extension .

fblanqui commented 1 year ago

Thank you for your issue Fernando. This is definitely something to do indeed. I will try to do this in the coming weeks or in June or July.