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: Mar 28 2024 at 16:02 UTC