coq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
CoqNOASSERTION
Stargazers
- acorrensonCISPA Helmholtz Center for Information Security
- alexbnett
- anton-trunovhttps://tonstudio.io
- brandenburgMPI-SWS
- cpresseyOffice... submarine!
- cyberglotGlasgow, UK
- dannypsnl@second-state
- DeLaGuardoCisco
- ebigram
- euppJetBrains Research
- gaxiiiiiiiiiiii
- h1994st
- huynhtrankhanh@coq-community
- LiRiu
- mgrabovskyFakta o klimatu
- mseriRijksuniversiteit Groningen
- naminHarvard University
- ndcroos
- NeM-T
- nikitavoloboevMadrid
- noti0na1LAMP, EPFL
- palmskogKTH Royal Institute of Technology
- pi8027Lyon, France
- relrodRed Hat, Inc.
- rgrinbergToronto
- rigilleMixrank
- rm3lRed Hat
- rodrigogribeiro
- RyanCargan
- savi2w@creme-tech
- sguzmanBakersfield, CA
- smondetNew York, NY
- smorimoto@ocaml @tc39
- thaliaarchi
- uuoojiin
- ZippeyKeys12Pennsylvania, United States