Thanks to visit codestin.com
Credit goes to github.com

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
BTree_appendix.v		BTree_appendix.v
Makefile		Makefile
README.md		README.md
SiblingProperty.v		SiblingProperty.v
Tacs.v		Tacs.v
Wrapper.v		Wrapper.v
_CoqProject		_CoqProject

Repository files navigation

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

About

Proof about Sibling-Property: Binary-tree is Huffman-tree <-> Binary-tree satisfies Sibling-Property

Report repository

Releases

No releases published

Packages

No packages published

Languages

Rocq Prover 100.0%