GitHub repository: FMFI-UK-1-AIN-412/structure-explorer
Primary language: JavaScript
Description: Structure explorer for first order logic