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