Memo - Post by 14oCC7hpchQxfFYS

14oCC7hpchQxfFYS

replied 59d

1JYUuFWtdyGzHTNM

Are there any two millennium mathematical problems that are paired so that proving one of them can also prove the other? https://archive.is/BKLXL

A simple visual editor for creating commutative diagrams.
https://github.com/yishn/tikzcd-editor.git