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