Skip to content

@coq Coq

Change the repository type filter

All

    Repositories list

    21 repositories

    • doc

      Public
      Coq user manual, automatically deployed
      HTML
      •1•0•0•0•Updated Nov 18, 2024Nov 18, 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.
      dependent-typestheorem-provingproof-assistantcoq
      OCaml
      •
      GNU Lesser General Public License v2.1
      •650•4.9k•2.6k•106•Updated Nov 18, 2024Nov 18, 2024

    • vscoq

      Public
      Visual Studio Code extension for Coq
      editorcoqvscodevscode-extensionvscodium
      OCaml
      •
      MIT License
      •69•344•110•11•Updated Nov 18, 2024Nov 18, 2024

    • bot

      Public
      A (Coq Development Team) bot written in OCaml
      githubgithub-apiwebhookgitlab-apigithub-appbotgitlabocaml
      OCaml
      •
      MIT License
      •17•23•111•6•Updated Nov 16, 2024Nov 16, 2024

    • opam

      Public
      Archive for all Coq related OPAM packages organized in various repositories
      opam-repositoryopamcoq
      OCaml
      •
      GNU Lesser General Public License v2.1
      •135•125•30•5•Updated Nov 15, 2024Nov 15, 2024

    • platform

      Public
      Multi platform setup for Coq, Coq libraries and tools
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •49•188•45•15•Updated Nov 15, 2024Nov 15, 2024

    • ceps

      Public
      Coq Enhancement Proposals
      rfccoq
      34•46•3•47•Updated Nov 8, 2024Nov 8, 2024

    • platform-docs

      Public
      A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
      Coq
      •
      Other
      •11•19•24•6•Updated Nov 7, 2024Nov 7, 2024

    • stdlib-test

      Public
      Test repository for Coq stdlib
      Coq
      •
      GNU Lesser General Public License v2.1
      •0•2•0•1•Updated Nov 1, 2024Nov 1, 2024

    • coq.github.io

      Public
      Source files of the coq.inria.fr website
      HTML
      •
      Other
      •38•15•15•1•Updated Oct 18, 2024Oct 18, 2024

    • stdlib2

      Public
      Coq
      •
      GNU Lesser General Public License v2.1
      •9•39•14•0•Updated Jan 17, 2024Jan 17, 2024

    • coq-on-cachix

      Public
      This repository follows Coq active branches but is only updated when the latest commit is available as binary on https://coq.cachix.org
      OCaml
      •
      GNU Lesser General Public License v2.1
      •1•3•0•0•Updated Jul 1, 2022Jul 1, 2022

    • prerequisites

      Public
      This repository is only used to store tarballs of dependencies of the Coq Platform (see https://github.com/coq/platform).
      0•0•0•0•Updated Sep 17, 2021Sep 17, 2021

    • coq-bench

      Public archive
      Scripts for differential performance testing of Coq packages / versions
      Shell
      •
      Other
      •6•4•0•0•Updated Sep 8, 2021Sep 8, 2021

    • ltac2

      Public
      A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
      coq-plugin
      10•31•0•0•Updated Jun 5, 2019Jun 5, 2019

    • repo-coqs-disabled

      Public archive
      The repository for Coq versions for developers.
      Dockerfile
      •
      MIT License
      •2•1•1•0•Updated Sep 3, 2018Sep 3, 2018

    • roadmaps

      Public archive
      This was used to prepare the versions 8.6-8.8.
      1•2•0•0•Updated Feb 26, 2018Feb 26, 2018

    • opam-coq-shell

      Public archive
      attempt to create a simplified shell for opam when installing coq
      Shell
      •
      GNU Lesser General Public License v2.1
      •2•0•2•0•Updated Jul 5, 2015Jul 5, 2015

    • repo-unstable-disabled

      Public archive
      The repository for development packages.
      MIT License
      •5•3•0•0•Updated Jun 27, 2015Jun 27, 2015

    • repo-stable-disabled

      Public archive
      The repository for stable Coq packages.
      MIT License
      •7•9•0•0•Updated Jun 27, 2015Jun 27, 2015

    • repo-8.5

      Public archive
      2•0•0•1•Updated Apr 15, 2015Apr 15, 2015