The field of logic education and formal proofs is moving towards more interactive and accessible tools, enabling students to engage with complex concepts in a more intuitive and hands-on way. Web-based applications and platforms are being developed to support the teaching and learning of formal proofs, logic, and software development. These innovations have the potential to improve student understanding and retention of these subjects. Noteworthy papers include: OnlineProver, which provides a user-friendly interface for editing and checking proofs, and a new UML modeling tool that integrates class diagrams and object diagrams, allowing for the execution of objects. These tools have shown promise in enhancing the learning experience and providing effective feedback to students.