tshoang/response
A LaTeX class for typesetting responses to reviewers' comments
Public GitHub Catalog
Discovered Oct 6, 2026
tshoang / eventb_intro
Materials for an Event-B introductory presentation based on the Event-B Book "Cars on a bridge" example (ch. 2)
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.
#33819810GitHub System ID
tshoangOrganization / User
PublicVisibility
ActiveCatalog Status
More from tshoang
tshoang/vienna-rss
Vienna is a freeware, open source RSS/Atom newsreader for the Mac OS X operating system.
tshoang/abbrev
Public repository.
tshoang/reqdoc
LaTeX style for typesetting requirements document