Chop Logic Core - v1.4.0
    Preparing search index...

    Module Propositional

    Main exports for propositional logic functionality.

    Proof Systems

    HilbertCalculus
    NaturalCalculus

    Utilities

    PropositionalFactory
    PropositionalUtils

    Settings

    Member Visibility

    On This Page

    Proof Systems
    Utilities