Formal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com2 points·by firsching·anno scorso·0 comments
firsching·anno scorso·discusshttps://github.com/mo271/arxiv-comments...and here the tool to quickly inspect comments that were left in the LaTeX
firsching·2 anni fa·discussI'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
firsching·2 anni fa·discuss> Edge doesn't use Chrome's own codec support. It uses Windows's media framework. JXL is being added to it next year.Interesting!