Structural-induction Alternatives

Similar projects and alternatives to structural-induction

• logic-classes

  0 7 0.0 Haskell structural-induction VS logic-classes

  Framework for propositional and first order logic, theorem proving

  

• picosat

  0 16 0.0 C structural-induction VS picosat

  Haskell bindings for PicoSAT solver

• InfluxDB

  www.influxdata.com featured

  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.

  

• tip-haskell-frontend

  0 19 7.5 Haskell structural-induction VS tip-haskell-frontend
  

• Heyting Algebras

  0 14 0.0 Haskell structural-induction VS Heyting Algebras

  Heyting Algebras in Haskell

• hatt

  0 26 0.0 Haskell structural-induction VS hatt

  Truth-table generator for classical propositional logic (by beastaugh)

• smcdel

  0 39 8.2 Haskell structural-induction VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.

  

• haskhol-core

  0 1 0.0 Haskell structural-induction VS haskhol-core

  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.

• SaaSHub

  www.saashub.com featured

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

  

• Folly

  0 9 0.0 Haskell structural-induction VS Folly

  First order logic in Haskell (by dillonhuff)

• atp-haskell

  0 15 0.0 Haskell structural-induction VS atp-haskell

  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

  

• qed

  0 3 0.0 Haskell structural-induction VS qed

  Experiments writing a prover