time of code

Stream: new members

[Daniil Homza]

Hi all

If there is a way to compute how much times code works in lean? I just interesting in which proof is work faster :grinning:

[Riccardo Brasca]

You can add set_option profiler true at the beginning of the file, and Lean will display some information