This is the git repository of an event-b introduction course based on the "Cars on the Birdge"
example of the Event-B book, chapter 2.

See ./lecture for instructions.