GitHub repository: weltoph/web-logic
Primary language: JavaScript
Created: 2020-05-05T17:37:58Z
Description: Small applets to illustrate aspects of formal logic