mathink/SiblingProperty
Proof about Sibling-Property: Binary-tree is Huffman-tree <-> Binary-tree satisfies Sibling-Property
Public GitHub Catalog
Discovered Oct 1, 2026
mathink / pandoc
Universal markup converter
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#22240746GitHub System ID
mathinkOrganization / User
PublicVisibility
ActiveCatalog Status
More from mathink
mathink/adlib-ssr
Additional library which depends on SSReflect.
mathink/hakyll
A static website compiler library in Haskell
mathink/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.