Skip to content
@LLM4Rocq

LLM4Rocq

Pinned Loading

  1. nlir nlir Public

    Automatic theorem proving via natural language reasoning with LLMs

    Python 16 1

  2. miniF2F-rocq miniF2F-rocq Public

    A Rocq version of the miniF2F dataset

    Coq 13

  3. pytanque pytanque Public

    Python API for lightweight communication with the Rocq proof assistant

    Python 7 2

Repositories

Showing 7 of 7 repositories
  • miniF2F-rocq Public

    A Rocq version of the miniF2F dataset

    LLM4Rocq/miniF2F-rocq’s past year of commit activity
    Coq 13 MIT 0 1 0 Updated Apr 2, 2025
  • nlir Public

    Automatic theorem proving via natural language reasoning with LLMs

    LLM4Rocq/nlir’s past year of commit activity
    Python 16 Apache-2.0 1 0 1 Updated Mar 17, 2025
  • RL-rocq Public

    Exploring RL methods for writing proofs in Rocq.

    LLM4Rocq/RL-rocq’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Mar 6, 2025
  • pytanque Public

    Python API for lightweight communication with the Rocq proof assistant

    LLM4Rocq/pytanque’s past year of commit activity
    Python 7 Apache-2.0 2 1 1 Updated Mar 5, 2025
  • 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
    OCaml 0 LGPL-2.1 40 0 0 Updated Mar 5, 2025
  • 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
    OCaml 0 LGPL-2.1 693 0 0 Updated Mar 28, 2024
  • ReProver Public Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    LLM4Rocq/ReProver’s past year of commit activity
    Python 1 MIT 58 0 0 Updated Jan 17, 2024

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…