Search for blocks/addresses/...

Proofgold Proposition

wceq clidl (ccom clss crglmod)
type
prop
theory
SetMM
name
df_lidl
proof
PUN9o..
Megalodon
-
proofgold address
TMEjq..
creator
36376 PrCmT../5a5fe..
owner
36376 PrCmT../5a5fe..
term root
20a7b..