Robuta

https://en.wikipedia.org/wiki/Interactive_proof_system Interactive proof system - Wikipedia interactive proof system wikipedia https://easychair.org/smart-program/FLoC2022/paper2338.html Paper: Evonne: Interactive Proof Visualization for Description Logics (System Description) interactive proof description logics paper evonne visualization