emarzion / coqtbgen

formally verified endgame tablebase generator in coq

coqtbgen

A formally verified endgame tablebase generator.

• Sample tablebase frontend
• Blog post

Build Instructions

opam install . --deps-only
dune build

To generate a _CoqProject for your editor:

./configure.sh