LLM4Rocq
Pinned Loading
Repositories
Showing 10 of 13 repositories
- coq-lsp Public Forked from ejgallego/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
LLM4Rocq/coq-lsp’s past year of commit activity - LLM4Docq-header Public
The goal of this repository is to work collaboratively on MathComp documentation for LLM4Docq.
LLM4Rocq/LLM4Docq-header’s past year of commit activity - crrrocq Public
LLM4Rocq/crrrocq’s past year of commit activity -
DF2C
babel-formal Public
The goal of this repository is to explore the translation from Rocq/Coq and Lean 4 terms to sequence of tactics in the same language
LLM4Rocq/babel-formal’s past year of commit activity - S1-mini Public
LLM4Rocq/S1-mini’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…