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