Packages

p

info.kwarc.mmt.lf

inhabitation

package inhabitation

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Value Members

  1. object Inhabitation
  2. object ProofIrrelevance extends SimpleIrrelevanceRule

    P:!A, Q:!A |- P = Q

Ungrouped