Сейчас ищут
Splience. Смотреть видео: Your Tools Are Good Enough, Let S Code Math Lean4 Theorem Prover, Discovering Communities Modularity Louvain SoMe3, Donut Fundamental Polygon Of A Torus Maths Topology Torus.