Search for blocks/addresses/...

Proofgold Object

∀ x0 x1 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ∀ x2 x3 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ChurchNum_3ary_proj_p x0ChurchNum_3ary_proj_p x1ChurchNum_8ary_proj_p x2ChurchNum_8ary_proj_p x3TwoRamseyGraph_4_5_24_ChurchNums_3x8 x0 x2 x1 x3 = TwoRamseyGraph_4_5_24_ChurchNums_3x8 x1 x3 x0 x2
type

Notice: Undefined property: stdClass::$stppres in /var/www/html/formalweb3/pgbce/OP.php on line 14
theory
HotG
name
-
definition
-
Megalodon
-
proofgold address
-
creator
owner
term root

Notice: Undefined property: stdClass::$termroot in /var/www/html/formalweb3/pgbce/OP.php on line 41
..