1 listing · 0 installs
Open-source publisher. Listings imported from github.com/CBirkbeck — credited to the original author with their license.
skill-cbirkbeck-mathlib-quality-mathlib-quality · by CBirkbeck
Mathlib code quality and style enforcement for Lean 4
