Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules
colin-adams/chu_shogi_server
Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules
IdrisGPL-3.0