Neologistic Paraphasic Mumbling

npm

avatar

mafu


Matthias Fuchs

    Packages 7

    Description

    Propositional Logic Problem Generator

    Publisher

    published 0.2.15 months ago

    Description

    Connecting to the TPTP Problem Library

    Publisher

    published 0.6.07 months ago

    Description

    Condensed Detachment

    Publisher

    published 1.0.4a year ago

    Description

    Combinatory Logic: Finding and Evaluating Combinators

    Publisher

    published 1.0.09 months ago

    Description

    Tools for Mathematical Analysis

    Publisher

    published 0.2.34 years ago

    Description

    Propositional Satisfiability Checker

    Publisher

    published 1.0.07 months ago

    Description

    Equational reasoning based on the unfailing Knuth-Bendix completion procedure

    Publisher

    published 1.0.0a month ago