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

  5.8 0.0 Haskell

  Heyting Algebras in Haskell

• expressions

  3.4 0.0 Haskell

  Expressions and Formulæ à la carte

• expressions-z3

  1.5 0.0 Haskell

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