• BibTeX bibliographies for proof engineering-related papers

    TeX 7 1 Updated Jul 18, 2018
  • Studying Software Engineering in the Proof Assistant world.

    HTML 1 Updated Jun 1, 2018
  • coq

    Forked from coq/coq

    Coq with extensions for proof engineering

    OCaml 261 Updated May 11, 2018
  • ott

    Forked from ott-lang/ott

    Ott is a tool for writing definitions of programming languages and calculi

    OCaml 13 Updated Apr 27, 2018
  • Dockerfiles with various versions of Coq

    Roff Updated Apr 27, 2018
  • Certified regular expression matcher

    Coq Updated Apr 18, 2018
  • Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssreflect

    Coq 1 Updated Apr 4, 2018
  • Proof engineering development package repository for OPAM

    Updated Mar 8, 2018
  • Hoare Type Theory

    Coq 3 Updated Feb 28, 2018
  • A fork of the CoqHammer proof automation plugin

    OCaml 1 LGPL-2.1 Updated Feb 9, 2018
  • This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq 85 Updated Jan 17, 2018
  • Documentation related to proof engineering

    3 Updated Dec 20, 2017
  • OPAM friendly version of files from the paper Regular Language Representations in the Constructive Type Theory of Coq

    Coq Updated Dec 9, 2017
  • Shell 5 Updated Dec 9, 2017
  • A regression proof selection tool for the Coq proof assistant

    Shell Updated Dec 1, 2017
  • Proof engineering released package repository for OPAM

    Updated Nov 17, 2017
  • Coq plugin for plain dependency extraction

    OCaml 1 LGPL-2.1 Updated Sep 20, 2017
  • Coq plugin for printing term abstract syntax trees and their digests

    OCaml 1 Updated Sep 20, 2017