Discover trending Coq
open-source projects

67
100
170
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
Mentions
@
Stars Project Description
3 154 Formal proof of the Four Color Theorem [maintainer=@ybertot]
1 90 A proof of false in Coq.

Popular Coq Topics

Latest Mentions

Latest mentioned Coq repos
Stars Project
90 falso
154 fourcolor
1,810 CompCert
324 coq-of-rust
7 Coq-BB5
406 sail-riscv
235 hacspec
0 type-experiments
1,498 stalin-sort
141 kami
6 bfcoq
1,226 Coq-HoTT
371 CoqGym
287 proofs
100 riscv-coq
805 magmide
923 UniMath
699 fiat-crypto
555 math-comp
187 analysis

Latest Discoveries

Latest discovered Coq repos
Stars Project
90 falso
324 coq-of-rust
7 Coq-BB5
0 type-experiments
6 bfcoq
100 riscv-coq
187 analysis
555 math-comp
5 finite
923 UniMath
0 recross-coq
12 regexp-Brzozowski
70 Schools
0 traversable-fincontainer
232 jasmin
9 diffgeo
24 cps
31 aneris
287 proofs
51 rupicola

Recently updated posts

View more »

Newsletter