Projects in Awesome Lists tagged with proof-trees
A curated list of projects in awesome lists tagged with proof-trees .
https://github.com/zeta611/ebproofx
ebproof extended
ebproof formal-proofs latex latex-package proof-trees tabularray tex
Last synced: 01 Mar 2026
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: 23 Mar 2025
