v1.0.0 - prismer-theorem-proving | verified-skill.com | vSkill