The brain is plastic and can improve with repeated drilling. Whether you are a math university student, or a high school student training for the international math olympiads, you'll get better at proving math theorems through repeated practice.
Learn concepts such as induction, rewrite, apply.
Based on the Coq proof verification software.