Margin comment thread

Comments written in a proof's margin, each tied to its highlighted phrase by a fine rule.

AddCopy promptCopy HTMLCopy React

Prompts and code open once you start.

Copy it yourself

Your browser blocked copying. Select the text below and copy it.