Yann Leray
Popular repositories Loading
-
-
coq
coq PublicForked from rocq-prover/rocq
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
-
-
coq-dpdgraph
coq-dpdgraph PublicForked from rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq
-
coqhammer
coqhammer PublicForked from lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
OCaml
-
coq-tactician
coq-tactician PublicForked from coq-tactician/coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
OCaml
Repositories
- coq Public Forked from rocq-prover/rocq
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 - yann-leray.github.io Public
Yann-Leray/yann-leray.github.io’s past year of commit activity - coq-lsp Public Forked from ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
Yann-Leray/coq-lsp’s past year of commit activity - QuickChick Public Forked from QuickChick/QuickChick
Randomized Property-Based Testing Plugin for Coq
Yann-Leray/QuickChick’s past year of commit activity - 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 - 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
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…