Margin comment thread
Comments written in a proof's margin, each tied to its highlighted phrase by a fine rule.
Prompts and code open once you start.
Comments written in a proof's margin, each tied to its highlighted phrase by a fine rule.
Prompts and code open once you start.