Logiweb codex of logik rapport in pyk
Up
Help
ref-2-id-54
system prime s
ref-2-id-55
axiom prime a one
ref-2-id-56
axiom prime a two
ref-2-id-57
axiom prime a three
ref-2-id-58
axiom prime a four
ref-2-id-59
axiom prime a five
ref-2-id-60
axiom prime s one
ref-2-id-61
axiom prime s two
ref-2-id-62
axiom prime s three
ref-2-id-63
axiom prime s four
ref-2-id-64
axiom prime s five
ref-2-id-65
axiom prime s six
ref-2-id-66
axiom prime s seven
ref-2-id-67
axiom prime s eight
ref-2-id-68
axiom prime s nine
ref-2-id-69
rule prime mp
ref-2-id-70
rule prime gen
ref-0-id-0
logik rapport
ref-0-id-3
lemma prime a two star
ref-0-id-4
lemma prime a one star
ref-0-id-5
lemma double hyp
ref-0-id-6
corollary one point ten a
ref-0-id-7
corollary one point ten b
ref-0-id-8
lemma one point eight
ref-0-id-9
lemma prime l three two b
ref-0-id-10
lemma prime l three two c
ref-0-id-11
lemma prime l three two d
ref-0-id-12
lemma prime l three two f
ref-0-id-13
lemma prime l three two f base
ref-0-id-14
lemma prime l three two f hyp
ref-0-id-15
lemma prime l three two g
ref-0-id-16
lemma prime l three two g
ref-0-id-17
lemma prime l three two g hyp
ref-0-id-18
lemma prime l three two h
ref-0-id-19
lemma prime l three two h base
ref-0-id-20
lemma prime l three two h hyp
ref-0-id-21
lemma prime l three two h hyp
ref-0-id-22
tautology one
The pyk compiler
, version 0.grue.20050603 by
Klaus Grue
,
GRD-2005-07-02.UTC:12:06:56.616639
=
MJD-53553.TAI:12:07:28.616639
=
LGT-4627022848616639e-6