5.8. References🔗

• Lean, Lean.Util.Profiler API.

• Lean, Lean 4.31 profiler release note.

• PyTorch, torch.profiler reference.

• PyTorch, profiler recipe.

• PyTorch, profiling a module.

• Perfetto, Trace Event format.