The topic of mathlib might be different, but the methods are the same. That's why you can use Lean for both in the first place!