Category Theory Conjectures with Bounties

by BlakeKeiller, Sunday, July 11, 2021, 17:20 (77 days ago)

Bounties from the reward bounty fund are being placed on several Category Theory related conjectures.

Corresponding Megalodon and Proofgold files are available from here:

A pdf report giving more details is available here:

I may update the report later (at the same link) to explain more or to add more conjectures.

Category Theory Conjectures with Bounties

by Brown, Thursday, July 29, 2021, 20:46 (59 days ago) @ BlakeKeiller

I noticed a number of things published with Megalodon are used in the pdf, e.g., structure related notions like struct_b, pack_b, unpack_b_i and unpack_b_o. In case it helps someone, recall that back in February I published both a pdf and an html summary of things published into Proofgold via Megalodon as of February 2021.

RSS Feed of thread
powered by my little forum