Coq Logic

Open-source Coq projects categorized as Logic

Topics: Dependent Types Formal Methods Formal Verification Verification type-safety

InfluxDB Logo

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

www.influxdata.com

featured

Coq Logic Projects

magmide

1 22 821 6.6 Coq

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
InfluxDB

www.influxdata.com featured

InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Coq Logic discussion

Coq Logic related posts

It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.

1 project | /r/rmathcirclejerk | 13 Mar 2022
Which is the most abstract and bizzare book of mathematics you have ever came across?

1 project | /r/math | 10 Mar 2022
Whitehead and Russell’s Principia rewritten in Coq

1 project | /r/patient_hackernews | 6 Dec 2021
Whitehead and Russell’s Principia rewritten in Coq

1 project | /r/hackernews | 6 Dec 2021

Index

#	Project	Stars
1	magmide	821

Did you know that Coq is
the 77th most popular programming language
based on number of references?