Skip to content
GitLab
Explore
Sign in
Xiaojie Guo
rt-proofs
Repository
rt-proofs
platform_edf.v
Find file
Blame
History
Permalink
Simplify lemma about task invariant in platform.v
· 7a823328
Felipe Cerqueira
authored
Jan 19, 2016
7a823328