LLM4Rocq
Pinned Loading
Repositories
Showing 10 of 10 repositories
- crrrocq Public
LLM4Rocq/crrrocq’s past year of commit activity - coq-lsp Public Forked from ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
LLM4Rocq/coq-lsp’s past year of commit activity - S1-mini Public
LLM4Rocq/S1-mini’s past year of commit activity - coq Public Forked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
LLM4Rocq/coq’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…