One language to be RegExp's Successor. Visually readable and rich, techn...
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]