A TLA+ model for a clock with hours and minutes.
Primary LanguageTLAGNU General Public License v3.0GPL-3.0