CohenCyril's Following
- INRIAFrance
- ThomasPortet
- leanprover-community
- coq-community
- coq
- math-comp
- zstone1
- arthuraaRochester Institute of Technology
- vbgl
- Zimmi48Télécom Paris
- pamelliesIRIF, CNRS, Université Paris Cité
- coqbot@coq
- ArmaelInria
- anton-trunovhttps://tonstudio.io
- maximedenes
- ybertotInria
- ggonthierInria
- digama0Chalmers University of Technology
- jonsterlingUniversity of Cambridge
- hivertUniversity Paris-Sud Orsay Paris-Saclay / LISN / CNRS / INRIA
- smimram
- pi8027Lyon, France
- tabareauInria
- theryINRIA
- mortbergSweden
- simhu
- TheoWinterhalterINRIA Saclay
- gallaisGlasgow, Scotland
- huitseeker4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6
- danr@pharmbio
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- drouhling
- ejgallegoInria
- LaurenceRideau
- johoelzlMünchen
- avigadCarnegie Mellon University