rocq-community / hydra-battles Star 80 Code Issues Pull requests Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran] coq discrete-mathematics formal-proofs primitive-recursive-functions ordinal-notations docker-coq-action hydra-battles coq-nix-toolbox Updated Jan 22, 2025 Coq
rocq-community / reglang Star 47 Code Issues Pull requests Regular Language Representations in Coq [maintainers=@chdoc,@palmskog] regexp coq regular-languages ssreflect mathcomp docker-coq-action coq-nix-toolbox coq-platform mathcomp-ci Updated Apr 23, 2025 Coq
rocq-community / huffman Star 14 Code Issues Pull requests Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog] ocaml coq huffman-coding huffman-tree coq-extraction docker-coq-action coq-nix-toolbox Updated Oct 31, 2025 Rocq Prover