Search for blocks/addresses/...

Proofgold Asset

asset id
7feb04f8cfd42c267119c6d58b6c4b4f91fd052d652587e8e4e5a559532d29fd
asset hash
e885d1b765fdf8d83abffcbbb10a4b50129b25fe0915d2229cd160f66d8bf182
bday / block
15377
tx
70bb0..
preasset
doc published by Pr4zB..
Param ordsuccordsucc : ιι
Param nat_pnat_p : ιο
Known nat_0_in_ordsuccnat_0_in_ordsucc : ∀ x0 . nat_p x00ordsucc x0
Known nat_10nat_10 : nat_p 10
Theorem 3ed90.. : 011 (proof)
Known nat_ordsucc_in_ordsuccnat_ordsucc_in_ordsucc : ∀ x0 . nat_p x0∀ x1 . x1x0ordsucc x1ordsucc x0
Known d4e95.. : 010
Theorem c92a5.. : 111 (proof)
Known b7a5e.. : 110
Theorem f5815.. : 211 (proof)
Known 3c603.. : 210
Theorem 157cb.. : 311 (proof)
Known 01826.. : 310
Theorem 52414.. : 411 (proof)
Known 35ffd.. : 410
Theorem 4f9f7.. : 511 (proof)
Known a1b2a.. : 510
Theorem db527.. : 611 (proof)
Known 1beb5.. : 610
Theorem 45b9a.. : 711 (proof)
Known 16542.. : 710
Theorem 15f81.. : 811 (proof)
Known 56b84.. : 810
Theorem 2c8c5.. : 911 (proof)
Known fa1e6.. : 910
Theorem 9be62.. : 1011 (proof)
Known nat_11nat_11 : nat_p 11
Theorem 46814.. : 012 (proof)
Theorem 2b77d.. : 112 (proof)
Theorem 7c2ac.. : 212 (proof)
Theorem 2f583.. : 312 (proof)
Theorem e4fc0.. : 412 (proof)
Theorem 04716.. : 512 (proof)
Theorem fbe39.. : 612 (proof)
Theorem 35d73.. : 712 (proof)
Theorem 5196c.. : 812 (proof)
Theorem 4fa36.. : 912 (proof)
Theorem 42552.. : 1012 (proof)
Theorem fee2e.. : 1112 (proof)
Known nat_12nat_12 : nat_p 12
Theorem cc8e9.. : 013 (proof)
Theorem ab386.. : 113 (proof)
Theorem a582b.. : 213 (proof)
Theorem c03b3.. : 313 (proof)
Theorem 39abb.. : 413 (proof)
Theorem 88508.. : 513 (proof)
Theorem 827a1.. : 613 (proof)
Theorem 4039c.. : 713 (proof)
Theorem 17545.. : 813 (proof)
Theorem e5d7b.. : 913 (proof)
Theorem 74a33.. : 1013 (proof)
Theorem 925e4.. : 1113 (proof)
Theorem f6a92.. : 1213 (proof)