avatar

mafu


Matthias Fuchs

Packages 9

Description

Propositional Logic Problem Generator

Publisher

published 1.0.09 months ago

Description

Connecting to the TPTP Problem Library

Publisher

published 0.6.110 months 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.06 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.05 days ago

Description

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

Publisher

published 0.2.024 days ago