bignums

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

License

GNU Lesser General Public License v2.1

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

Creator

coq-community

Related apps

coqeal

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

Coq66other

3 months ago

coqcoq-cicoq-platform

manifesto

manifesto

Documentation on goals of the coq-community organization, the shared contributin

68other

6 months ago

community-drivencoqmanifesto

paramcoq

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

3 months ago

coqcoq-cicoq-platform

vscoq

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh

OCaml325mit

3 months ago

coqeditorvscode

coqoban

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

2 years ago

coqcoq-librarypuzzle

corn

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

Coq109gpl-2.0

2 months ago

coqcoq-cicoq-library

lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

3 years ago

automationcanonical-structurescoq

tarjan

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq13

last year

coqmathcompmathcomp-ci

coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Coq86lgpl-2.1

2 months ago

coqcoq-cicoq-platform

aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

4 months ago

coqcoq-cicoq-platform

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

3 months ago

coqctlmathcomp

coqtail-math

coqtail-math

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects,

301cc0-1.0

3 months ago

awesomeawesome-listcoq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq128bsd-2-clause

2 months ago

coqcoq-cicoq-platform

coq-tricks

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq487mit

3 months ago

coq

coq-art

coq-art

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

Coq105mit

3 months ago

coqcoq-artdocker-coq-action

docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-commu

Dockerfile37bsd-3-clause

3 months ago

cicoqdocker-coq