GitHub repository: wadoon/tableau-js
Primary language: TypeScript
Created: 2020-06-20T04:11:54Z
Description: Tableau calculi for FOL in Javascript