coq-community/manifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
NOASSERTION
Stargazers
- agnosticlines[object Object]
- alreadydoneHeidelberg / Shenzhen
- amintimanyAarhus University
- anton-trunovTON Foundation
- CasteranBordeaux
- clarusFormal Land
- CohenCyrilInria
- cryslith
- darrenldlAustralian National University
- eleftheiUniversity of Pennsylvania
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- EugeneLoy
- ichistmeinname@Cap3
- joom@Bloomberg
- jrepan
- jsoo1Santa Ana, CA
- junjihashimotoJapan
- langston-barrett@GaloisInc
- matthew-piziakNew York
- mukeshtiwariSwansea
- neshkeevRussia, Saint Petersburg
- pedrotstIndiana, USA
- puyol
- scalarwavesAvailable for hire
- smondetNew York, NY
- soraros
- SorinSUK
- spittersAarhus University
- themattchan@awakesecurity
- tkersey@thisisartium
- vbgl
- voilaDunedin, NZ
- vyorkin@zeriontech
- wrrnhttn
- xvw@funkywork, @tarides
- Zimmi48Télécom Paris