Post

Proposal for all first-order logic automated theorem provers to only get updated once a year, on January 1. File that under "New Year Resolutions"