GitHub repository: owings1/pytableaux
Primary language: Python
Created: 2017-04-22T18:24:50Z
Description: multi-logic proof generator