ltbinsbe/INFODTP
Verification of the algorithm described in "On building trees of minimal height" by Richard S. Bird, using Coq
Public GitHub Catalog
Discovered Sep 27, 2026
ltbinsbe / FPcourse
How to explain the benefits Functional Programming to your imperative co-worker
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.
#10811163GitHub System ID
ltbinsbeOrganization / User
PublicVisibility
ActiveCatalog Status