Lightlines
By lingzhi227

math-reasoning

lingzhi2272k installs

Turn hard math into paper-ready notation and proofs.

Recent revisions are kept. Restoring one creates a new revision.