Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . Church17_to_u17 (Church17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12 (u17_to_Church17 x0))

as obj
229cb..

as prop
-

theory
HotG

stx
0f832..

address
TMKnm..