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 19

  3. pytanque pytanque Public

    Python API for lightweight communication with the Rocq proof assistant

    Python 7 2

Repositories

Showing 9 of 9 repositories

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…