Nervous Parrot Muttering

    3 packages found

    Core tool for the Quint specification language

    published 0.5.5 5 days ago
    M
    Q
    P

    An interpreter of well-formed formulas in propositional calculus.

    published 0.0.1 8 years ago
    M
    Q
    P

    Formal Proving Language

    published 1.0.2 2 years ago
    M
    Q
    P