Skip to content
@LLM4Coq

LLM4Coq

Popular repositories Loading

  1. pytanque pytanque Public

    Lighweight communication with Petanque

    Python 5 1

  2. ReProver ReProver Public

    Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    Python 1

  3. 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 3 of 3 repositories
  • pytanque Public

    Lighweight communication with Petanque

    LLM4Coq/pytanque’s past year of commit activity
    Python 5 1 2 0 Updated Oct 3, 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 663 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 50 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…