Haskell Math Language packages

• « All Tags

Selected Tags

Click on a tag to remove it

• Math
• Language

More Tags

Click on a tag to add it and filter down

• Formal Methods
  3

Language packages

Showing projects tagged as Math and Language

• hermit

  9.0 0.0 Haskell

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

• lambda-calculator

  8.9 3.8 Haskell

  An introduction to the Lambda Calculus

• Eq

  4.4 0.0 Haskell

  Haskell calculus

• tptp

  4.4 0.0 Haskell

  Parser and pretty printer for the TPTP language

• acl2

  3.6 0.0 Haskell

  Writing and calling ACL2 from Haskell.