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