☰
◎
Vizabell
🔔
Proof Library
Ordinal_Arithmetic.thy:955
Ordinal_Arithmetic.thy:1235
Lambda.thy:161
StrongNorm.thy:123
Message.thy:138
Message.thy:771
Float.thy:723
Transcendental.thy:4159
Derivation DAG
Proof Overview of Lambda.thy:161
9 formulas · 8 derivations
proof
c_0_0
c_0_2
c_0_0->c_0_2
c_0_1
c_0_3
c_0_1->c_0_3
c_0_4
c_0_2->c_0_4
c_0_5
c_0_3->c_0_5
c_0_6
c_0_4->c_0_6
c_0_7
c_0_5->c_0_7
c_0_8
c_0_6->c_0_8
c_0_7->c_0_8
proof
c_0_0
c_0_8
c_0_0->c_0_8
c_0_1
c_0_1->c_0_8
−
100%
+
Fit
Flat