Topic: "coq-nix-toolbox"
rocq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Language: Coq - Size: 20.9 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 75 - Forks: 12
rocq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Language: Coq - Size: 552 KB - Last synced at: 19 days ago - Pushed at: 2 months ago - Stars: 43 - Forks: 7
rocq-community/huffman
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Language: Coq - Size: 1.11 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 4