Logos

Official logo files and usage rules for Purely Lean Home.