root/public: links for reasoning-tool