Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Repository
rt-proofs
util
nat.v
Find file
Blame
History
Permalink
add two utility lemmas to `util.nat`
· 734d4e81
Meenal Gupta
authored
May 15, 2023
and
Björn Brandenburg
committed
Jun 29, 2023
734d4e81