// This prints the left floatting menu
Dedukti    Load Matita      Load Coq         Load Lean        Load PVS         Load OpenTheory Load
Dedukti-jumb

Constant

connectives.False

Type

ℙ

Main Dependencies
Theory
Coq-Jumb
Type

Parameter False : Prop


Matita-Jumb
Type

axiom False : Prop


Lean-jumb
Type

constant False : Prop


PVS-jumb
Type

sttfa_False : bool


OpenTheory

Printing for OpenTheory is not working at the moment.