Lukas Heidemann

新しいツールが数学者たちが高次カテゴリを視覚化したり扱ったりするのを手助けしてるよ。