Proofgold explorer

Bounties: 9188 worth 304'239 PG

Recent Proved
Theorem e6b6b.. : not (∀ x0 x1 . ordinal x0 ⟶ ordinal (ordsucc x1) ⟶ or (ordsucc x1 ∈ x0) (x0 = ordsucc x1)) see document PUUQg.. Last Claimed d869b.. 1.00 be24c..^{conj_AIM1_TMd1UBzgRpGTYwAAQfbkr8spN1cLfwtTvg2} 26.00 d04b2..^{conj_AIM2_TMTgHW7YcF8pQikGrm4yauCLwoTmAsYhTMn} 26.00

Blocks
48411

Circulation
1335275

Addresses
219295

Transactions
71843

Recent
Transactions

Recent
Theorems

Recent Connections (Currently 7)

All
Theories

Genesis
June 2020: 1

Documentation and Clients: Original Proofgold (obsolete); ProofGoldLite (obsolete); ProofGold Lava (use this one!)