Search for blocks/addresses/...

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

f3acb.. 280.00
ff3aa.. 280.00
fd582.. 280.00
Blocks
36593
Circulation
1039825
Addresses
199751
Transactions
55001
Recent
Transactions
Recent
Theorems
Recent Connections (Currently 6 connections)
All
Theories
Genesis
June 2020: 1
Documentation and Clients: Original Proofgold; ProofGoldLite; ProofGold Lava