Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with proof-trees

A curated list of projects in awesome lists tagged with proof-trees .

https://github.com/niklasf/antichess-tree-server

HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White

antichess chess http-api lichess proof-trees

Last synced: 14 Oct 2024