GitHub repository: ubc-carnap-team/Rudolf
Primary language: JavaScript
Description: Truth Tree Widget for Carnap