josh-hs-ko/FLOLAC-14
Type Theory and Logic lectures for FLOLAC’14
Public GitHub Catalog
Discovered Oct 1, 2026
josh-hs-ko / FLOLAC-semantics
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#20758994GitHub System ID
josh-hs-koOrganization / User
PublicVisibility
ActiveCatalog Status
More from josh-hs-ko
josh-hs-ko/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
josh-hs-ko/dissertation
Analysis and synthesis of inductive families (DPhil dissertation)
josh-hs-ko/Thesis
Analysis and synthesis of inductive families