xrchz/ss
Public repository.
Public GitHub Catalog
Discovered Sep 28, 2026
xrchz / ssl
Formalisation of Structural Separation Logic
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.
#12928553GitHub System ID
xrchzOrganization / User
PublicVisibility
ActiveCatalog Status
More from xrchz
xrchz/thesis
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.
xrchz/HOL4-impconv
Implicational conversions for HOL4
xrchz/ppp
Parametric Polymorphism and Tiling Agents