teg/SN-LPAR
Strong Normalisation of Typed Atomic Lambda Calculus
Public GitHub Catalog
Discovered Sep 24, 2026
teg / terms
Atomic Flows for a Simply Typed Term Calculus
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.
#2585856GitHub System ID
tegOrganization / User
PublicVisibility
ActiveCatalog Status
More from teg
teg/systemd-units
systemd units that are not yet included in their respective upstreams
teg/libsystemd-qt
Qt-only wrapper for Systemd API
teg/AtomicLambda2
The Atomic Lambda Calculus Part Two