Variations on Kirby & Paris' hydra battles and other entertaining math i...
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]