4.3.5 How can I create a new Event-B Project?
Please read Section
2.4.2
to learn how to create a new Event-B project.