HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White
Primary LanguageCGNU Affero General Public License v3.0AGPL-3.0