GitHub repository: tbitai/ruzsa
Primary language: JavaScript
Created: 2016-03-21T01:54:38Z
Description: Analytic tableau proof editor for Tarski's World