Haskell Language Math packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Language
• Math

More Tags

Click on a tag to add it and filter down

• Formal Methods
  3

Math packages

Showing projects tagged as Language and Math

• hermit

  8.9 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

• lambda-calculator

  8.9 3.8 Haskell

  An introduction to the Lambda Calculus

• tptp

  4.5 0.0 Haskell

  Parser and pretty printer for the TPTP language

• Eq

  4.3 0.0 Haskell

  Haskell calculus

• acl2

  3.6 0.0 Haskell

  Writing and calling ACL2 from Haskell.