Selected Tags

Click on a tag to remove it

Formal Methods packages

Showing projects tagged as Language, Math, and Formal Methods

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel

  • 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.