Formal software development of a prototype implemenation of a chat system similar to WhatsApp.
This is the reposistory for WhatsApp, the formal software developement of a chatting system that includes certain functionalities of WhatsApp
The repository includes the following parts:
i. The Rodin project of WhatsApp. It works on Rodin version 3.3