Search for blocks/addresses/...

Proofgold Proposition

wceq ctau (cinf (cin crp (cima (ccnv ccos) (csn c1))) cr clt)
type
prop
theory
SetMM
name
df_tau
proof
PUXUn..
Megalodon
-
proofgold address
TMP1x..
creator
36376 PrCmT../59979..
owner
36376 PrCmT../59979..
term root
dbee4..