Stream: Coq devs & plugin devs

Topic: cprofile

view this post on Zulip Gaëtan Gilbert (Mar 17 2023 at 13:15):

Does anyone use the cprofile API in local experiments? Why are we keeping this thing around?

view this post on Zulip Pierre-Marie Pédrot (Mar 17 2023 at 13:24):

never used it, personally

Last updated: May 28 2023 at 13:30 UTC