Coq Github Topics
Coq · GitHub Topics
coq-lang · GitHub Topics · GitHub
GitHub - erikmd/docker-coq-github-action-demo: Demo of a regular Coq ...
GitHub - rocq-community/awesome-coq: A curated list of awesome Coq ...
learn-coq-lang · GitHub Topics · GitHub
GitHub - rkthomps/coq-modeling: Language models for Coq based on data ...
GitHub - annenkov/template-coq: Reflection library for Coq · GitHub
GitHub - ejgallego/pycoq: Python bindings for the Coq interactive proof ...
GitHub - dschepler/coq-sequent-calculus: Coq formalizations of Sequent ...
GitHub - thierry-martinez/coq: Coq is a formal proof management system ...
Advertisement Space (300x250)
GitHub - EugeneLoy/coq_jupyter: Jupyter kernel for Coq · GitHub
Classifying your repository with topics - GitHub Enterprise Cloud Docs
Classifying your repository with topics - GitHub Enterprise Cloud Docs
isa vs coq - CAVE-PNP/cave-pnp GitHub Wiki
isa vs coq - CAVE-PNP/cave-pnp GitHub Wiki
Discussion on "Index of Topics for Git & GitHub Learning" | Hashnode
GitHub - CoqHott/logrel-coq: Logical Relation for MLTT in Coq · GitHub
GitHub - cpitclaudel/company-coq: A Coq IDE build on top of Proof ...
The Growing Importance of Github Topics For Your API SEO - API Evangelist
GitHub - DmxLarchey/Coq-Phase-Semantics: Coq Source for Relational ...
Advertisement Space (336x280)
GitHub - rocq-prover/platform-docs: A project of short tutorials and ...
GitHub - antoyneGG/My-coq-files: En este repositorio se pueden ...
GitHub - CoqHott/coq-effects: A program translation implementing self ...
GitHub - tuura/selective-theory-coq: Selective applicative functors ...
GitHub - motrellin/comoproj: Template for Github Coq-Projects
GitHub - dramforever/coq_stuff
ExtLib — Coq Library for Theorem Proving | Open Awesome
GitHub - IBM/pycoq: python API to coq-serapi · GitHub
A formalization of category theory in Coq : r/programming
GitHub - conda-forge/coq-jupyter-feedstock: A conda-smithy repository ...
Advertisement Space (336x280)
Better Makefile for Coq projects · Issue #1542 · GaloisInc/saw-script ...
GitHub - KyushuUniversityMathematics/CoqExamples
Coq-Solutions/Basics.v at master · hpbrown92/Coq-Solutions · GitHub
coq-qfbv/src/BBAdd.v at master · fmlab-iis/coq-qfbv · GitHub
GitHub - iTechSenior/github-topics-explorer · GitHub
GitHub - simpadjo/coq-excercises: Me studying https ...