GitHub topics: coq-nix-toolbox
rocq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Language: Coq - Size: 552 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 43 - Forks: 7
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 2 months ago - Pushed at: 6 months ago - Stars: 75 - Forks: 12
rocq-community/huffman
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Language: Coq - Size: 1.11 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 4