vladoovtcharov/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Public GitHub Catalog
Discovered Sep 28, 2026
vladoovtcharov / vladoovtcharov.github.io
Page test
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.
#13040401GitHub System ID
vladoovtcharovOrganization / User
PublicVisibility
ActiveCatalog Status
More from vladoovtcharov
vladoovtcharov/openslide
C library for reading virtual slide images
vladoovtcharov/ResqueBoard
A web interface to monitor php resque activities
vladoovtcharov/Compiler-Class
some compilers for a functional language in haskell