Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . nat_p x0nat_p x1SNoLt x0 x1SNoLe (add_SNo x0 1) x1
as obj
-
as prop
a91d1..
theory
HotG
stx
cd4cc..
address
TMUW2..