emarzion / coqtbgen

formally verified endgame tablebase generator in coq

https://emarzion.github.io/coqtbgen/

Geek Repo

Github PK Tool