Auto-Generating Visual Editors for Formal Logics with Blockly.

Angelo Ferrando, Peng Lu, Vadim Malvone

Browse the full IFM paper archive.