mafu


Matthias Fuchs

  • Propositional Logic Problem Generator

    published version 1.0.0, 5 years ago
  • Connecting to the TPTP Problem Library

    published version 1.0.1, 6 months ago
  • Condensed Detachment

    published version 2.0.1, 4 years ago
  • Combinatory Logic: Finding and Evaluating Combinators

    published version 1.0.0, 7 years ago
  • Tools for Mathematical Analysis

    published version 0.2.3, 10 years ago
  • Propositional Satisfiability Checker

    published version 2.1.0, 2 years ago
  • Equational reasoning based on the unfailing Knuth-Bendix completion procedure

    published version 1.2.1, 2 years ago
  • String rewriting system (semi-Thue system)

    published version 1.0.0, 4 years ago
  • Automated theorem prover for first-order predicate logic based on resolution

    published version 0.2.0, 4 years ago