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 be24c..^{conj_AIM1_TMd1UBzgRpGTYwAAQfbkr8spN1cLfwtTvg2} 26.00 d04b2..^{conj_AIM2_TMTgHW7YcF8pQikGrm4yauCLwoTmAsYhTMn} 26.00 08907..^{conj_AIM1_TMXZ2KdpJ6kzM6jXiXg7i99pFhq7CGhK6v5} 26.00

Blocks
39468

Circulation
1111700

Addresses
208550

Transactions
61411

Recent
Transactions

Recent
Theorems

Recent Connections (Currently 18 connections)

All
Theories

Genesis
June 2020: 1