7 packages found

    Description

    A tool for checking, verifying, archiving and studying mathematical proofs

    Keywords

    Publisher

    published 1.0.16 months ago
    M
    Q
    P

    Description

    Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.

    Keywords

    Publisher

    published 1.2.010 months ago
    M
    Q
    P

    Description

    A tool for checking, verifying, archiving and studying mathematical proofs

    Keywords

    Publisher

    published 1.0.42 months ago
    M
    Q
    P

    Description

    Precise Proofs validation for javascript(https://github.com/centrifuge/precise-proofs)

    Keywords

    Publisher

    published 1.0.32 years ago
    M
    Q
    P
    M
    Q
    P

    Description

    Test proofs for development purposes

    Keywords

    Publisher

    published 1.0.16 years ago
    M
    Q
    P

    Description

    (https://github.com/centrifuge/react-dapp-requirements)

    Keywords

    Publisher

    published 0.1.122 years ago
    M
    Q
    P