package coq-inconsequential_modus_ponens

  1. Overview
  2. No Docs
A Coq library about the needlessness of modus ponens

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. V
    Veeti Eronen

Maintainers

  1. E
    eronenveeti174@gmail.com

Sources

1.0.5.tar.gz
sha256=931244c9321b4375ebba4cc89f8bd0880018f869a792d913d6daf526972f9481

Description

It shown with two interpretations of modus ponens that it's true only when an other pretty meaningless propositional sentence is true.

Tags

keyword:modus ponens category:Mathematics/Logic/Foundations date:2022-08-20

Published: 21 Aug 2022

Dependencies (1)

  1. coq >= "8.15"

Dev Dependencies

None

Used by

None

Conflicts

None