evilwire/torsion_filtration
Public repository.
Public GitHub Catalog
Discovered Sep 28, 2026
evilwire / slice_filtration
A full summary of the work of Voevodsky, Deglise, and Huber-Kahn-Sujartha
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.
#13461443GitHub System ID
evilwireOrganization / User
PublicVisibility
ActiveCatalog Status
More from evilwire
evilwire/math_notes
Notes that I assembled from various things.
evilwire/algecob
Annotations and collection of results for motivic homotopy theory.
evilwire/cotorsion_localization
A generalization of torsion theory that generalizes torsion methodologies for abelian groups. This is useful for constructing the homotopy invariant