RICIS Expansion Map
Интерактивная исследовательская карта RICIS-III для изучения математических
сингулярностей, зависимостей задач и уровней доверия proof-артефактов. Для
работы 3D-карты требуется JavaScript.
Исходный код и документация доступны в
репозитории GitHub.