mafu


    Matthias Fuchs

    Packages 9

    • Propositional Logic Problem Generator

      published 1.0.0 a year ago
    • Connecting to the TPTP Problem Library

      published 0.6.1 a year ago
    • Condensed Detachment

      published 2.0.0 3 months ago
    • Combinatory Logic: Finding and Evaluating Combinators

      published 1.0.0 3 years ago
    • Tools for Mathematical Analysis

      published 0.2.3 6 years ago
    • Propositional Satisfiability Checker

      published 1.1.0 a year ago
    • Equational reasoning based on the unfailing Knuth-Bendix completion procedure

      published 1.1.0 2 months ago
    • String rewriting system (semi-Thue system)

      published 1.0.0 7 months ago
    • Automated theorem prover for first-order predicate logic based on resolution

      published 0.2.0 8 months ago