Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
400 commits behind the upstream repository.
-
Note that many files have changed; however, this is due to the fact that some of the lemmas in nat.v have been renamed or removed.
Note that many files have changed; however, this is due to the fact that some of the lemmas in nat.v have been renamed or removed.
epsilon.v 76 B
(** [ε] is defined as the smallest positive number. *)
Definition ε := 1.