analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

update `uniform_bigO.v`

Open affeldt-aist opened this issue 1 year ago • 1 comments

https://github.com/math-comp/analysis/blob/49304480f85cdc5de0e89af0ff757991c2e0809e/theories/misc/uniform_bigO.v#L15

I just noticed that this file has been forgotten and does not compile out of the box anymore.

(FYI, @drouhling)

affeldt-aist avatar Jan 09 '24 01:01 affeldt-aist

the merged PR #1142 provides a quick fix but that file maybe deserves to be updated and moved to master, so I keep the issue open

affeldt-aist avatar Jan 09 '24 02:01 affeldt-aist

uniform_bigO.v is now in master (as per the merged PR https://github.com/math-comp/analysis/pull/1234) so I close

affeldt-aist avatar Jun 17 '24 06:06 affeldt-aist