|
|
193.
|
|
|
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
|
|
194.
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
|
Description
|
|
|
|
|
Пакунок містить документацію та посібник у форматі pdf.
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
195.
|
|
|
state-of-the-art chess engine, compatible with xboard
|
|
|
Summary
|
|
|
|
|
шаховий рушій state-of-the-art, сумісний з xboard
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty
|
|
|
196.
|
|
|
Crafty is the strong chess program played on ICC. It uses all of the search algorithms you have probably read about and performs better than gnu-chess in most positions. It has a reasonable set of features to use, and offers a great starting point to try your own new search extensions.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty
|
|
|
197.
|
|
|
Medium size opening books for the crafty chess engine
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-medium
|
|
|
198.
|
|
|
Opening books that crafty use to evaluate the position during the game. This is the medium version, occupying 4MB and containing +7500 games computed until the 60th ply.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-medium
|
|
|
199.
|
|
|
Medium-to-small size opening books for crafty chess engine
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-medtosmall
|
|
|
200.
|
|
|
Opening books that crafty use to evaluate the position during the game. This is the medium-to-small version, occupying 4MB and containing +7500 games computed until the 60th ply.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-medtosmall
|
|
|
201.
|
|
|
Small-size opening books for crafty chess engine
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-small
|
|
|
202.
|
|
|
Opening books that crafty use to evaluate the position during the game. This is the small version, occupying 1MB and containing +4500 games computed until the 60th ply.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
Translated and reviewed by
Sergiy Gavrylov
|
|
|
|
Located in
Package: crafty-books-small
|
