Proofgold 0.1.10

by BlakeKeiller, Sunday, October 04, 2020, 15:40 (427 days ago)

I'm releasing a minor update today. The last version had trouble syncing sometimes and hopefully that's fixed in the new version. I also fixed the bug in printing of fof versions of the AIM random conjecture bounty propositions.