esilkensen/coq
Coq playground
Public GitHub Catalog
Discovered Sep 28, 2026
esilkensen / auth
A semantic notion of authority.
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.
#13463338GitHub System ID
esilkensenOrganization / User
PublicVisibility
ActiveCatalog Status
More from esilkensen
esilkensen/lambdachair
A simple conference review system.
esilkensen/breeze
Public repository.
esilkensen/cmm
A Redex model for Contracts Made Manifest.