coq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
CoqBSD-2-Clause
Stargazers
- aa755Miami, FL, USA
- attila-lendvaiBudapest, Central Europe
- avsmUniversity of Cambridge
- CheeseTurtle
- clarusFormal Land
- codyroux
- collinnj
- conengineTashirojima
- davdarGalois, Inc.
- dmcookeChilliwack, BC, Canada
- ejgallegoInria
- fabricelealLeiria, Portugal
- fritzoSocial Cognitive Machines
- ghuletteAWS S3-ARG
- gmalecha@bedrocksystems
- gregor-samsa
- gy001@sec-bit
- kisomUnited States
- MarisaKirisame魔法の森, Gensokyo
- mmalvarez
- morusleafAlibaba
- ndcroos
- OKU1987Kyoto, Japan
- olivierverdierMathematician
- pasberthA student
- QuebecisniceMountain View, CA
- raoarielCarnegie Mellon University
- relrod@Ansible @ Red Hat, Inc.
- rpip
- smondetNew York, NY
- t0yv0@Pulumi
- themattchan@awakesecurity
- TheNomadicMonad
- thinkmoore@GaloisInc
- vzalivaUniversity of Cambridge, Digamma.ai
- zoepEthereum Foundation