heades/law
The Lawvere Categorical Logic Library
Public GitHub Catalog
Discovered Sep 29, 2026
heades / idris
Everything Idris
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.
#14644852GitHub System ID
headesOrganization / User
PublicVisibility
ActiveCatalog Status
More from heades
heades/thesis
This contains my Ph.D. thesis and related work.
heades/DIL-consistency
Formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.
heades/uni-typed
This is some stuff I used in a recent blog post about untyped lambda-calculi being actually typed.