search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
75 stars 12 forks source link

Delete profile messages. #35

Closed abdoo8080 closed 3 days ago

abdoo8080 commented 1 month ago

We can get more elaborate profiling information using set_option trace.profiler true.