Search for blocks/addresses/...

Proofgold Proposition

ChurchNum_plus ChurchNum2 ChurchNum2 = ChurchNum4
type
prop
theory
HotG
name
ChurchNum_plus_2_2
proof
PUMJH..
Megalodon
-
proofgold address
TMR2f..
creator
17169 PrHSW../f66ea..
owner
17169 PrHSW../f66ea..
term root
a6711..