Skip to content

EDF optimality proof should derive from its weaker version

In file analysis/edf/optimality.v

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information