4 ms·
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!
by practal 4y ago
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!