Proof about Sibling Property How to make First, you need to install Huffman Install Huffman Download Huffman.tar.gz from Coq User's Contribution Untar it and cd Huffman make && make install make SiblingProperty git clone https://github.com/mathink/SiblingProperty.git cd SiblingProperty make && make install