[compsoc-freshers] Week 6 newsletter: Ensoft talk, Learn to Code and computer-assisted proofs