coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
CoqMIT
Stargazers
- AHartNtknHeliax
- amintimanyAarhus University
- amutake@Idein
- bruno-schmidt
- clayratIMDEA Software
- conengineTashirojima
- cyberglotGlasgow, UK
- delta4d/dev/null
- dodadoahashpays
- foreverbell@google
- goodmind
- hongxuchenShenzhen, Guangdong, China
- jmitchellSeattle
- juanbono@lambdaclass
- kultismdekultura
- logicshan
- marcoonroadRio de Janeiro, RJ - Brasil.
- MarisaKirisame魔法の森, Gensokyo
- morusleafAlibaba
- nilqedCH
- olivierverdierMathematician
- pedrotstIndiana, USA
- progerSupercomputer City
- relrod@Ansible @ Red Hat, Inc.
- rnrandUniversity of Maryland
- scott-fleischman
- themattchan@awakesecurity
- tymmym
- varomodtᏀооցⅼе
- vishalbelsare
- vzalivaUniversity of Cambridge, Digamma.ai
- wllqwzxPeking University
- wrrnhttn
- yurrriq@sportradar
- zelinskiyOrdo Praedicatorum
- zmughalWashington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha