CohenCyril/multinomials-ssr
Multinomials for Ssreflect
Public GitHub Catalog
Discovered Sep 24, 2026
CohenCyril / impro-meta
Public repository discovered through GitHub real-time crawl.
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.
#707317GitHub System ID
CohenCyrilOrganization / User
PublicVisibility
ActiveCatalog Status
More from CohenCyril
CohenCyril/ssrHoTT
Experimental HoTT/ssr repository
CohenCyril/CoqEAL
CoqEAL -- The Coq Effective Algebra Library
CohenCyril/signdet
Sign determination for CAD