Skip to content

@LLM4Coq LLM4Coq

Change the repository type filter

All

    Repositories list

    3 repositories

    • pytanque

      Public
      Lighweight communication with Petanque
      Python
      •1•5•2•0•Updated Oct 3, 2024Oct 3, 2024

    • coq

      Public
      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.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •647•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • ReProver

      Public
      Retrieval-Augmented Theorem Provers for Lean
      Python
      •
      MIT License
      •50•1•0•0•Updated Jan 17, 2024Jan 17, 2024