Cluster 439573

4 repos

Coq · 3

HTML · 1

coq ·292

docker-coq-action ·292

discrete-mathematics ·162

primitive-recursive-functions ·162

coq-nix-toolbox ·162

hydra-battles ·162

ordinal-notations ·162

formal-proofs ·162

exercises ·130

coq-art ·130

Related clusters

coq-community/hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative,…

Coq

1,798 commits

rocq-community/hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative,…

Coq

1,798 commits

coq-community/coq-art

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

Coq

130

102 commits

cpitclaudel/alectryon

A collection of tools for writing technical documents that mix Rocq code and prose.

HTML

323

1,469 commits