Compilation time of each theorem

Stream: new members

[Martin Dvořák]

Can I view the compilation time of each theorem? I'd like to run one command that will do it for my project, without needing to modify multiple files.

[Kevin Buzzard]

In Lean 3? set_option profiler true

[Martin Dvořák]

Yes, in Lean 3.

Where can I write the command?

[Kevin Buzzard]

before the place where you want Lean to start telling you how long it takes to compile each declaration

[Martin Dvořák]

And to do it for all files in my project?

[Kevin Buzzard]

Oh I see, I had misread the question. Apologies. I don't know.