automated-theorem-provers

Open-source projects categorized as automated-theorem-provers

automated-theorem-prover Open-Source Projects

automated-theorem-provers
  1. awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  2. InfluxDB

    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.

    InfluxDB logo
  3. tptp

    Parser and pretty printer for the TPTP language

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).

automated-theorem-provers discussion

Log in or Post with

automated-theorem-provers related posts

Index

# Project Stars
1 awesome-rust-formalized-reasoning 341
2 tptp 7

Sponsored
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

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