Proofgold Forum

Log in

Final Reward Bounty Fund Distribution - BlakeKeiller, 2021-12-02, 12:07

Megalodon 1.8 - Brown, 2021-11-26, 18:05
- Megalodon 1.8 (23257 "Conjectures") - Brown, 2021-11-27, 11:57
  - Megalodon 1.8 (23257 "Conjectures") - Brown, 2021-11-27, 12:06
  - Megalodon 1.8 (23257 "Conjectures") - Brown, 2021-11-27, 12:09

Blockchain alternative to the forum - Brown, 2021-11-25, 09:59
- Blockchain alternative to the forum - BlakeKeiller, 2021-11-26, 13:15

Node Crash - Brown, 2021-11-25, 09:54
- Node Crash - BlakeKeiller, 2021-11-26, 13:16

What Happens Next - BlakeKeiller, 2021-11-21, 13:01

Proofgold 0.2.8.1 (stakers should/must update) - BlakeKeiller, 2021-11-21, 12:52

Proofgold Core 0.2.8 (stakers should/must update) - BlakeKeiller, 2021-11-20, 13:22
- Proofgold Core 0.2.8 (stakers should/must update) - Brown, 2021-11-20, 17:01
  - Proofgold Core 0.2.8 (stakers should/must update) - BlakeKeiller, 2021-11-21, 12:50

Mathematical Objects and Propositions as NFTs - Brown, 2021-11-16, 16:31
- Mathematical Objects and Propositions as NFTs - Brown, 2021-11-16, 16:45

Upcoming Milestones - BlakeKeiller, 2021-11-09, 09:04

Proofgold Core 0.2.8rc1 - BlakeKeiller, 2021-11-09, 08:51
- Proofgold Core 0.2.8rc1 - Brown, 2021-11-09, 20:03
  - Proofgold Core 0.2.8rc1 - Brown, 2021-11-11, 09:18
    - Proofgold Core 0.2.8rc2 - BlakeKeiller, 2021-11-13, 14:50
      - Proofgold Core 0.2.8rc2 - Brown, 2021-11-15, 11:31
- Proofgold Core 0.2.8rc1 - Brown, 2021-11-16, 12:09

Proofgold Core 0.2.7 - BlakeKeiller, 2021-11-07, 10:19
- Proofgold Core 0.2.7 - BlakeKeiller, 2021-11-07, 10:22

Proofgold Core 0.2.6 and the future of proofgold.org - BlakeKeiller, 2021-10-09, 15:58

Mizar CNF Problems and Prover9 Proofs - Brown, 2021-09-05, 11:49
- Mizar CNF Problems and Prover9 Proofs - BlakeKeiller, 2021-09-05, 20:17
  - Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) - BlakeKeiller, 2021-09-12, 16:32
    - Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) - Brown, 2021-09-13, 19:00

Megalodon 1.7 - Brown, 2021-09-03, 10:23

Proofgold Core 0.2.5 - BlakeKeiller, 2021-08-01, 11:23

Megalodon 1.6 - Brown, 2021-07-31, 10:47
- Megalodon 1.6 - BlakeKeiller, 2021-08-14, 09:21
  - Megalodon 1.6 - Brown, 2021-08-18, 22:00

Airdrop to Dalilcoin Holders - BlakeKeiller, 2021-07-30, 19:57

Block 10000 - BlakeKeiller, 2021-07-19, 09:19

Anon Thread for July 2021 - BlakeKeiller, 2021-07-11, 17:23
- Re: Anon Thread for July 2021 - , 2021-07-13, 20:10
  - Re: Anon Thread for July 2021 - BlakeKeiller, 2021-07-19, 09:14
- Re: Anon Thread for July 2021 - , 2021-10-09, 00:59
- Re: Anon Thread for July 2021 - , 2021-10-09, 13:35

Category Theory Conjectures with Bounties - BlakeKeiller, 2021-07-11, 17:20
- Category Theory Conjectures with Bounties - Brown, 2021-07-29, 20:46

Important Notice about proofgold.org - BlakeKeiller, 2021-05-13, 16:41
- Important Notice about proofgold.org - BlakeKeiller, 2021-06-01, 20:34

Proofgold Core 0.2.4 - BlakeKeiller, 2021-03-14, 11:03

Megalodon 1.5 - Brown, 2021-02-21, 16:30

Summary of Definitions and Theorems - Brown, 2021-02-13, 09:09

New Reward Bounties - BlakeKeiller, 2021-02-07, 16:11
- New Reward Bounties (Dieudonne, Reals) - BlakeKeiller, 2021-02-07, 16:12
- New Reward Bounties (Quotient Group) - BlakeKeiller, 2021-02-07, 16:12

Megalodon 1.4 - Brown, 2021-02-04, 17:21

New Bounties - BlakeKeiller, 2021-01-24, 20:54

New Bounties - BlakeKeiller, 2021-01-17, 11:05

Code Review - Brown, 2021-01-14, 16:28
- Code Review - Brown, 2021-01-15, 10:11
  - Code Review Outline - Brown, 2021-01-15, 10:12
  - Code Review (Phase 0) - Brown, 2021-01-15, 19:12
  - Code Review (Phase 1) - Brown, 2021-01-16, 12:02
    - Code Review (Phase 1) - BlakeKeiller, 2021-01-17, 09:26

New Bounties - BlakeKeiller, 2021-01-10, 12:32

1
2
3
»

powered by my little forum