Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . nat_p x0∀ x1 . nat_p x1ordsucc x1 = add_nat x0 x0or (x0x1) (and (x1 = 1) (x0 = 1))
as obj
-
as prop
a7fcd..
theory
HotG
stx
33c6f..
address
TMQU4..