using a structure editor
A structure editor uses knowledge of the syntax of a formal language L to help the user write expressions in L. The short clip shows a structure editor written in Shen Professional for building propositions in a logic Lsigma.
On this page of the site you can watch the video online using a structure editor with a duration of hours minute second in good quality, which was uploaded by the user Mark Tarver 19 January 2019, share the link with friends and acquaintances, this video has already been watched 124 times on youtube and it was liked by 0 viewers. Enjoy your viewing!
