[compsoc-freshers] Week 7 Newsletter: Coq, Open-source in research, LAN night