Skip to content
@coq-contribs

coq-contribs

Popular repositories Loading

  1. coq-in-coq coq-in-coq Public

    A formalisation of the Calculus of Constructions

    Coq 62 7

  2. automata automata Public

    Beginning of formal language theory

    Coq 22 2

  3. zfc zfc Public

    An encoding of Zermelo-Fraenkel Set Theory in Coq

    Coq 20 3

  4. ltl ltl Public

    Linear Temporal Logic

    Coq 17 5

  5. group-theory group-theory Public

    Elements of Group Theory

    Coq 13 1

  6. graph-basics graph-basics Public

    a Coq toolkit for graph theory

    Coq 11 7

Repositories

Showing 10 of 148 repositories
  • paradoxes Public

    Paradoxes in Set Theory and Type Theory

    coq-contribs/paradoxes’s past year of commit activity
    Coq 10 LGPL-2.1 0 0 0 Updated Jul 24, 2024
  • coq-in-coq Public

    A formalisation of the Calculus of Constructions

    coq-contribs/coq-in-coq’s past year of commit activity
    Coq 62 LGPL-2.1 7 0 0 Updated Jul 24, 2024
  • lambek Public

    A Coq Toolkit for Lambek Calculus

    coq-contribs/lambek’s past year of commit activity
    Coq 6 LGPL-2.1 1 0 0 Updated Jul 24, 2024
  • ltl Public

    Linear Temporal Logic

    coq-contribs/ltl’s past year of commit activity
    Coq 17 5 0 0 Updated Jan 9, 2024
  • ipc Public

    Intuitionistic Propositional Checker

    coq-contribs/ipc’s past year of commit activity
    Coq 4 2 0 0 Updated Feb 10, 2023
  • zfc Public

    An encoding of Zermelo-Fraenkel Set Theory in Coq

    coq-contribs/zfc’s past year of commit activity
    Coq 20 LGPL-2.1 3 5 1 Updated Dec 17, 2022
  • coq-contribs Public
    coq-contribs/coq-contribs’s past year of commit activity
    OCaml 7 1 2 0 Updated May 19, 2021
  • zchinese Public

    A proof of the Chinese Remainder Lemma

    coq-contribs/zchinese’s past year of commit activity
    Coq 1 1 0 1 Updated Oct 28, 2020
  • zsearch-trees Public

    Binary Search Trees

    coq-contribs/zsearch-trees’s past year of commit activity
    Coq 0 LGPL-2.1 1 0 0 Updated Oct 18, 2020
  • zf Public

    An axiomatisation of intuitionistic Zermelo-Fraenkel set theory

    coq-contribs/zf’s past year of commit activity
    Coq 0 1 0 0 Updated Oct 18, 2020
View all repositories

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…