coq-nix-toolbox

There are 1 repository under coq-nix-toolbox topic.

coq-community / hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq coq-nix-toolbox discrete-mathematics docker-coq-action formal-proofs hydra-battles ordinal-notations primitive-recursive-functions
Language:Coq 60
coq-community / reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
coq mathcomp regular-languages ssreflect regexp docker-coq-action coq-platform mathcomp-ci coq-nix-toolbox
Language:Coq 41
coq-community / huffman
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
coq-extraction coq huffman-coding huffman-tree ocaml docker-coq-action coq-nix-toolbox
Language:Coq 14