Instructions file
Instructions for CBirkbeck/mathlib-quality, covering claude context: mathlib-quality, project purpose, current status, completed and in progress / todo.
32 13d ago A 7,409 tokens
original MIT
32Stars on the repository
36Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown