GitHub repository: FMFI-UK-1-AIN-412/tableauEditor
Primary language: Elm
Created: 2017-04-05T19:53:54Z
Description: First-order tableau editor