Formal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com2 points·by firsching·el año pasado·0 comments
firsching·el año pasado·discusshttps://github.com/mo271/arxiv-comments...and here the tool to quickly inspect comments that were left in the LaTeX
firsching·hace 2 años·discussI'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
firsching·hace 2 años·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!