mikeshulman/smbicat
Constructing symmetric monoidal bicategories
Public GitHub Catalog
Discovered Oct 14, 2026
mikeshulman / cohesivett
Cohesive type theory
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.
#38407252GitHub System ID
mikeshulmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from mikeshulman
mikeshulman/ww_install
WeBWorK Install Script
mikeshulman/HoTT-Agda
Development of homotopy type theory in Agda
mikeshulman/ddcalc
Notes on calculus