❤
npm
Sign UpSign In

mafu

Matthias Fuchs

Packages 9

  • plpgen

    Propositional Logic Problem Generator

    mafu
    published version 1.0.0, 5 years ago

  • tptp

    Connecting to the TPTP Problem Library

    mafu
    published version 1.0.1, 6 months ago

  • condet

    Condensed Detachment

    mafu
    published version 2.0.1, 4 years ago

  • combilog

    Combinatory Logic: Finding and Evaluating Combinators

    mafu
    published version 1.0.0, 7 years ago

  • math-analysis

    Tools for Mathematical Analysis

    mafu
    published version 0.2.3, 10 years ago

  • propsat

    Propositional Satisfiability Checker

    mafu
    published version 2.1.0, 2 years ago

  • ukb

    Equational reasoning based on the unfailing Knuth-Bendix completion procedure

    mafu
    published version 1.2.1, 2 years ago

  • stsys

    String rewriting system (semi-Thue system)

    mafu
    published version 1.0.0, 4 years ago

  • pl1res

    Automated theorem prover for first-order predicate logic based on resolution

    mafu
    published version 0.2.0, 4 years ago