coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
CoqMIT
Stargazers
- aa755Miami, FL, USA
- aa755msrMicrosoft Research (summer 2015 only)
- amillerUniversity of Illinois
- anokata@ndmsystems
- clarusFormal Land
- collinnj
- csgordonDrexel University
- dewakaLondon
- dud3Drooids Inc.
- fabricelealLeiria, Portugal
- fritzoSocial Cognitive Machines
- glug
- greenrdLondon, England
- jarhoadsPittsburgh
- jbalintMadison, WI, USA
- jeremie-koenig@CertiKOS
- jlottes
- jnarbouxUniversité Paris Cité
- lancejpollardCalifornia
- marsamPeru
- na4zagin3Indeed.com
- naminHarvard University
- ndcroos
- pogin503Japan
- QuebecisniceMountain View, CA
- sdiehlLondon
- sheganinansData Scientist & Language Architect
- Shekeen
- shouyaOpen for Hire!
- siddMahenToronto, Canada
- spittersAarhus University
- timjb@TNG Technology Consulting GmbH
- TorosFanny
- vishwasm26
- williamdemeoIO @input-output-hk
- Zimmi48Télécom Paris