Hard Fork Passed

by BlakeKeiller, Monday, December 28, 2020, 06:35 (342 days ago) @ BlakeKeiller

The network is now at Block 5003, so 3 blocks past the hard fork. It seems to have been successful. Due to the veto contract for the bounty fund, in two days I will begin collecting (non vetoed) rewards for the bounty fund and place them as bounties on conjectured propositions. There are already many to choose from (the Mizar and HOL4 sets and formulations of some of the "top 100" theorems), but if anyone has other suggestions feel free to post them here.