The first real-time VDM-based navigation prototype
homeworks for SP4E course
Proof assistant based on first-order logic and set theory