haskhol-core

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details. (by ecaustin)
Review Logic Theorem Provers
Source Code
Suggest alternative
Edit details
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

Haskhol-core Alternatives

Similar projects and alternatives to haskhol-core

ecaustin
haskhol-core

  1. qed

    0 haskhol-core VS qed

    Experiments writing a prover

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

    0 haskhol-core VS g4ip

    A theorem prover using G4ip

  4. judge

    0 haskhol-core VS judge

    Tableau-based theorem prover for justification logic.

  5. jukebox

    0 haskhol-core VS jukebox

    A theorem prover (by nick8325)

  6. structural-induction

    0 haskhol-core VS structural-induction

    SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

  7. picosat

    0 haskhol-core VS picosat

    Haskell bindings for PicoSAT solver

  8. tamarin-prover

    0 haskhol-core VS tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  10. satchmo

    0 haskhol-core VS satchmo

    SAT encoder

  11. smcdel

    0 haskhol-core VS smcdel

    A symbolic model checker for Dynamic Epistemic Logic.

  12. tpdb

    0 haskhol-core VS tpdb

    parser and prettyprinter for TPDB syntax (termination problem data base)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better haskhol-core alternative or higher similarity.
Suggest an alternative to haskhol-core

haskhol-core discussion

Log in or Post with

haskhol-core reviews and mentions

Posts with mentions or reviews of haskhol-core. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning haskhol-core yet.
Tracking mentions began in Dec 2020.

Stats

Basic haskhol-core repo stats
0
2
0.0
over 8 years ago

ecaustin/haskhol-core is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of haskhol-core is Haskell.

Popular Comparisons

  1. haskhol-core VS qed
  2. haskhol-core VS g4ip
  3. haskhol-core VS judge
  4. haskhol-core VS jukebox
  5. haskhol-core VS structural-induction
  6. haskhol-core VS picosat
  7. haskhol-core VS tamarin-prover
  8. haskhol-core VS satchmo
  9. haskhol-core VS smcdel
  10. haskhol-core VS tpdb

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?

Loading...