Skip to content

v0.1.0

Choose a tag to compare

View all tags
@gbdrt gbdrt released this 06 Aug 07:39
· 50 commits to main since this release
v0.1.0
bcf18a3

Tested with coq-lsp 0.2.0 + coq 8.20.
Version used for NLIR 0.1.0 https://github.com/LLM4Rocq/nlir

Assets 2
Loading