v1.0.0 - mathematics-formal | verified-skill.com | vSkill