Coq theorem-proving

Open-source Coq projects categorized as theorem-proving

Coq theorem-proving Projects

theorem-proving
  • CoqGym

    A Learning Environment for Theorem Proving with the Coq proof assistant

  • Project mention: Lean4 helped Terence Tao discover a small bug in his recent paper | news.ycombinator.com | 2023-10-27
  • 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.

    InfluxDB logo
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 theorem-proving discussion

Log in or Post with

Coq theorem-proving related posts

  • Will Computers Redefine the Roots of Math?

    6 projects | news.ycombinator.com | 30 Jun 2023
  • Which proof assistant is the best to formalize real analysis/probability/statistics?

    3 projects | /r/Coq | 18 Jun 2023
  • Discussion Thread

    2 projects | /r/neoliberal | 15 Mar 2023
  • New Coq tutorial

    3 projects | /r/ProgrammingLanguages | 5 Jul 2022

Index

Project Stars
1 CoqGym 371

Sponsored
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