Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Math packages

Showing projects tagged as Language and Math

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • lambda-calculator

    8.7 4.9 Haskell
    An introduction to the Lambda Calculus
  • Eq

    4.9 0.0 Haskell
    Haskell calculus
  • tptp

    3.5 0.0 Haskell
    Parser and pretty printer for the TPTP language
  • acl2

    2.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.