Haskell Logic Math packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Logic
• Math

More Tags

Click on a tag to add it and filter down

• Data
  2

Math packages

Showing projects tagged as Logic and Math

• Heyting Algebras

  6.0 0.0 Haskell

  Heyting Algebras in Haskell

• expressions

  1.9 0.0 Haskell

  Expressions and Formulæ à la carte

• expressions-z3

  0.6 0.0 Haskell

  Encoding and Decoding Expressions and Formulæ à la carte from Z3