mafu


Matthias Fuchs

Packages 9

  • Propositional Logic Problem Generator

    published 1.0.0 3 years ago
  • Connecting to the TPTP Problem Library

    published 1.0.0 6 months ago
  • Condensed Detachment

    published 2.0.1 2 years ago
  • Combinatory Logic: Finding and Evaluating Combinators

    published 1.0.0 5 years ago
  • Tools for Mathematical Analysis

    published 0.2.3 8 years ago
  • Propositional Satisfiability Checker

    published 2.0.0 a month ago
  • Equational reasoning based on the unfailing Knuth-Bendix completion procedure

    published 1.2.1 6 months ago
  • String rewriting system (semi-Thue system)

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

    published 0.2.0 2 years ago