Add new section for formal verification and learning resources