Agent
Comprehensive guidelines for maintaining high-quality documentation in the LeanSpec documentation site.
286 3mo ago A 0 tokens
original MIT
286Stars on the repository
11Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown