avatar

mafu


Matthias Fuchs

Packages 7

Description

Propositional Logic Problem Generator

Publisher

published 0.2.04 months ago

Description

Connecting to the TPTP Problem Library

Publisher

published 0.5.2a year ago

Description

Condensed Detachment

Publisher

published 1.0.45 months ago

Description

Combinatory Logic: Finding and Evaluating Combinators

Publisher

published 0.4.13 years ago

Description

Tools for Mathematical Analysis

Publisher

published 0.2.33 years ago

Description

Propositional Satisfiability Checker

Publisher

published 0.8.44 years ago

Description

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

Publisher

published 0.1.2a year ago