Inference Web in Action: Lightweight Use of the Proof Markup Language
https://www.powershow.com/view/13bda3-MTg5N/Inference_Web_in_Action_Lightweight_Use_of_the_Proof_Markup_Language_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
