Ask HN: How to learn mathematical proofs from scratch? : vim