Skia Lean Formalization for Performance Improvement

Interesting to see a performance-critical graphics library formalized like this. Maybe more programs could be done the same way, then auto-optimized with an LLM or something.