Arguments:
--mathlib
. Designed and maintained with ❤ by
Oleg Mazko