GitHub

Popular repositories Loading

  1. BibTeX bibliographies for proof engineering-related papers

    TeX 30 1

  2. Studying Software Engineering in the Proof Assistant world.

    HTML 7

  3. Coq plugin for printing term abstract syntax trees and their digests

    OCaml 7

  4. Certified regular expression matcher in Coq

    Coq 4

  5. Documentation related to proof engineering

    3

Repositories

Showing 10 of 20 repositories

  • proofengineering/htt's past year of commit activity

    Coq

    0 8 0 0

    Updated Jan 16, 2025

  • proofengineering/proofengineering.github.io's past year of commit activity

    HTML

    7 0 6 0

    Updated Jul 4, 2020

  • regmatch Public

    Certified regular expression matcher in Coq

    proofengineering/regmatch's past year of commit activity

    Coq

    4 0 0 0

    Updated Mar 17, 2020

  • proofengineering/proofengineering-bib's past year of commit activity

    TeX

    30 1 0 0

    Updated Jul 24, 2019

  • proofengineering/opam-repository-dev's past year of commit activity

    0 0 0 0

    Updated Jul 21, 2019

  • proofengineering/atbr-plugin's past year of commit activity

    Coq

    0 0 0 0

    Updated Jul 21, 2019

  • proofengineering/coq's past year of commit activity

    OCaml

    1

    LGPL-2.1

    773 0 0

    Updated Jun 13, 2019

  • proofengineering/coq-dpdgraph's past year of commit activity

    Coq

    0

    LGPL-2.1

    33 0 0

    Updated May 3, 2019

  • proofengineering/serapi-tests's past year of commit activity

    Coq

    0 0 0 0

    Updated Nov 25, 2018

  • coq-docker Public archive

    Dockerfiles with various versions of Coq

    proofengineering/coq-docker's past year of commit activity

    Roff

    1 1 1 0

    Updated Sep 30, 2018

Read the original on github.com ↗