Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Repository
rt-proofs
util
bigcat.v
Find file
Blame
History
Permalink
generalize a few "bigcat" lemmas
· 6275d5ea
Björn Brandenburg
authored
Jan 11, 2024
... to accept a generic filter predicate [P]
6275d5ea