The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:
"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04
The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:
"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04
Said paper in html rendered by texmacs [1] and past discussion [2]
1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html
2: https://news.ycombinator.com/item?id=24991447