Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . struct_c_u_p_p x0x0 = pack_c_u_p_p (ap x0 0) (decode_c (ap x0 1)) (ap (ap x0 2)) (decode_p (ap x0 3)) (decode_p (ap x0 4))
type
prop
theory
HotG
name
struct_c_u_p_p_eta
proof
PULN2..
Megalodon
-
proofgold address
TMEkU..
creator
4918 Pr6Pc../bca65..
owner
4918 Pr6Pc../bca65..
term root
b82fa..