Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . Field x0∀ x1 . x1K_field_0 x0 x0∀ x2 . x2K_field_0 x0 x0K_field_2_b x0 x0 x1 x2K_field_0 x0 x0
as obj
-
as prop
b548b..
theory
HotG
stx
0f4f5..
address
TMRUb..