Slop by adii800
github.com/adii800 — not a slopsmith (yet).
the trawling net
The Cap'm's net dragged everything below this line out of public GitHub: nobody submitted it, and he wrote the paperwork himself from what the owner already said. Trawled listings sort under every repo that opted in, stay out of the RSS feed, and can't win awards. An owner can claim one with a slopscore.md of their own, or have it removed in a click. How the trawl works.
- Lean 4 formalization of the Krohn-Rhodes decomposition of finite monoids into aperiodic and simple-group factors
