Skip to content
@LLM4Coq

LLM4Coq

Popular repositories Loading

  1. pytanque pytanque Public

    Python API for lightweight communication with the Rocq proof assistant

    Python 5 1

  2. nlir nlir Public

    Automatic theorem proving via natural language reasoning with LLMs

    Python 5

  3. ReProver ReProver Public

    Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    Python 1

  4. coq coq Public

    Forked from coq/coq

    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 develo…

    OCaml

Repositories

Showing 4 of 4 repositories
  • nlir Public

    Automatic theorem proving via natural language reasoning with LLMs

    LLM4Coq/nlir’s past year of commit activity
    Python 5 Apache-2.0 0 0 0 Updated Nov 22, 2024
  • pytanque Public

    Python API for lightweight communication with the Rocq proof assistant

    LLM4Coq/pytanque’s past year of commit activity
    Python 5 Apache-2.0 1 1 0 Updated Nov 6, 2024
  • coq Public Forked from coq/coq

    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.

    LLM4Coq/coq’s past year of commit activity
    OCaml 0 LGPL-2.1 672 0 0 Updated Mar 28, 2024
  • ReProver Public Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    LLM4Coq/ReProver’s past year of commit activity
    Python 1 MIT 54 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…