avatar

    mafu


    Matthias Fuchs

    Packages 9

    • Description

      Propositional Logic Problem Generator

      Publisher

      published 1.0.0a year ago
    • Description

      Connecting to the TPTP Problem Library

      Publisher

      published 0.6.1a year ago
    • Description

      Condensed Detachment

      Publisher

      published 1.0.6a year ago
    • Description

      Combinatory Logic: Finding and Evaluating Combinators

      Publisher

      published 1.0.02 years ago
    • Description

      Tools for Mathematical Analysis

      Publisher

      published 0.2.36 years ago
    • Description

      Propositional Satisfiability Checker

      Publisher

      published 1.1.08 months ago
    • Description

      Equational reasoning based on the unfailing Knuth-Bendix completion procedure

      Publisher

      published 1.0.02 years ago
    • Description

      String rewriting system (semi-Thue system)

      Publisher

      published 1.0.02 months ago
    • Description

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

      Publisher

      published 0.2.03 months ago