The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:
reply"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]
replyThe animation in presentation mode is really impressive, I’ve never seen something like that not even in ppt
reply