package coq-shuffle
Gilbreath's card trick
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=756dfc787f585ddd60b06bdbc87e13b7
Description
A full axiomatization and proof development of a non-trivial property of binary sequences, inspired from a card trick of N. Gilbreath.
Tags
keyword: Gilbreath's card trick keyword: binary sequences category: Miscellaneous/Logical Puzzles and EntertainmentPublished: 07 Dec 2019
On This Page