GitHub repository: lurchmath/lde
Primary language: JavaScript
Created: 2017-11-28T21:03:42Z
Description: The Lurch Deductive Engine (LDE)