Skip to content
@Yann-Leray

Yann Leray

Popular repositories Loading

  1. metacoq metacoq Public

    Forked from MetaCoq/metacoq

    Metaprogramming in Coq

    Coq

  2. 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 1

  3. coq-elpi coq-elpi Public

    Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    OCaml

  4. coq-dpdgraph coq-dpdgraph Public

    Forked from coq-community/coq-dpdgraph

    Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

    Coq

  5. coqhammer coqhammer Public

    Forked from lukaszcz/coqhammer

    CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

    OCaml

  6. coq-tactician coq-tactician Public

    Forked from coq-tactician/coq-tactician

    A Seamless, Interactive Tactic Learner and Prover for Coq

    OCaml

Repositories

Showing 9 of 9 repositories
  • metacoq Public Forked from MetaCoq/metacoq

    Metaprogramming in Coq

    Yann-Leray/metacoq’s past year of commit activity
    Coq 0 MIT 84 0 0 Updated Dec 20, 2024
  • yann-leray.github.io Public
    Yann-Leray/yann-leray.github.io’s past year of commit activity
    CSS 0 MIT 0 0 0 Updated Dec 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.

    Yann-Leray/coq’s past year of commit activity
    OCaml 0 LGPL-2.1 677 0 1 Updated Nov 27, 2024
  • coq-serapi Public Forked from rocq-archive/coq-serapi

    Coq Protocol Playground with Se(xp)rialization of Internal Structures.

    Yann-Leray/coq-serapi’s past year of commit activity
    OCaml 0 40 0 0 Updated Feb 5, 2024
  • coq-elpi Public Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    Yann-Leray/coq-elpi’s past year of commit activity
    OCaml 0 LGPL-2.1 54 0 0 Updated Feb 5, 2024
  • Mtac2 Public Forked from Mtac2/Mtac2
    Yann-Leray/Mtac2’s past year of commit activity
    Coq 0 25 0 0 Updated Feb 5, 2024
  • coq-tactician Public Forked from coq-tactician/coq-tactician

    A Seamless, Interactive Tactic Learner and Prover for Coq

    Yann-Leray/coq-tactician’s past year of commit activity
    OCaml 0 MIT 20 0 0 Updated Feb 5, 2024
  • coqhammer Public Forked from lukaszcz/coqhammer

    CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

    Yann-Leray/coqhammer’s past year of commit activity
    OCaml 0 31 0 0 Updated Feb 5, 2024
  • coq-dpdgraph Public Forked from coq-community/coq-dpdgraph

    Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

    Yann-Leray/coq-dpdgraph’s past year of commit activity
    Coq 0 LGPL-2.1 28 0 0 Updated Feb 5, 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…