17 open source projects by coq-community

A Visual Studio Code extension for Coq [[email protected],@fakusb]

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

Coq plugin for parametricity [[email protected]]

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq to OCaml FFI made easy [maintainer=@lthms]

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]