難しい経路にも、自分で検証できる証明が付いてくる。

ひとつの視覚言語が広げる可能性

素数やアルゴリズムから、公共政策、金融、機構、交通、気候、地下水まで。