Popularity

1.6

Stable

Activity

0.0

Stable

Stars 1

Watchers 2

Forks 1

Last Commit over 7 years ago

Monthly Downloads: 0

Programming language: Haskell

License: MIT License

Tags: Logic

g4ip alternatives and similar packages

Based on the "Logic" category.
Alternatively, view g4ip alternatives based on common mentions on social networks and blogs.

tamarin-prover

9.8 8.7 g4ip VS tamarin-prover

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

8.2 6.2 g4ip VS smcdel

A symbolic model checker for Dynamic Epistemic Logic.

CodeRabbit: AI Code Reviews for Developers

Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

Promo coderabbit.ai

hatt

7.8 0.0 g4ip VS hatt

Truth-table generator for classical propositional logic
tip-haskell-frontend

7.5 7.5 g4ip VS tip-haskell-frontend

Convert from Haskell to Tip
hout

7.3 0.0 g4ip VS hout

A non-interactive proof assistant using the Haskell type system
atp-haskell

7.1 4.8 g4ip VS atp-haskell

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

6.7 0.0 g4ip VS picologic

Symbolic logic expressions
picosat

6.7 0.0 L2 g4ip VS picosat

Haskell bindings for PicoSAT solver
jukebox

6.1 0.0 g4ip VS jukebox

A theorem prover
Heyting Algebras

6.0 0.0 g4ip VS Heyting Algebras

Heyting Algebras in Haskell
logic-classes

5.9 0.0 g4ip VS logic-classes

Framework for propositional and first order logic, theorem proving
obdd

5.2 2.8 g4ip VS obdd

pure Haskell implementation of reduced ordered binary decision diagrams
Folly

5.2 0.0 g4ip VS Folly

First order logic in Haskell
structural-induction

4.1 0.0 g4ip VS structural-induction

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

3.6 0.0 g4ip VS g4ip-prover

Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
qed

3.3 0.0 g4ip VS qed

Experiments writing a prover
tpdb

3.3 5.3 g4ip VS tpdb

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

2.4 0.0 g4ip VS satchmo

SAT encoder
minisat

2.1 2.4 g4ip VS minisat

Minisat Haskell bundle
judge

1.1 0.0 g4ip VS judge

Tableau-based theorem prover for justification logic.
haskhol-core

0.7 0.0 g4ip VS haskhol-core

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

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of g4ip or a related project?

Add another 'Logic' Package

Popular Comparisons

README

G4ip

Implementation of a theorem prover for propositional logic using G4ip in Haskell.

File Structure

G4ip/Proposition.hs -- Definition of propositions and some syntactic sugar
G4ip/Decider.hs -- The actual theorem prover (decider?)
G4ip/Tester.hs -- For defining and running tests
G4ip/TestMain.hs -- Actually runs the default test suite

Testing Manually

Startup ghci
Load Main.hs by typing :l Main
Use decide prop to see if prop is provable.

You can use T, F, /\, \/, ==>, <==, <=>, neg, and () with their usual meanings to form propositions. To form an atom, either use Atom "name" or use one of the predefined atoms: a, b, c, d, e, or f. Here is an example:

decide $ (neg b ==> neg a) ==> (a ==> b) \/ (a \/ a ==> a)

which prints True as expected ($ if for associativity, you can use parenthesis if you want).

Contact

Email me at [email protected] for any questions.

g4ip

A theorem prover using G4ip