Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
680 commits behind the upstream repository.
-
Björn Brandenburg authoredBjörn Brandenburg authored
time.v 101 B
(** Time is defined as a natural number. *)
Definition duration := nat.
Definition instant := nat.