math-o-matic (npm): Computerized deductive system on the web
Keywords: math|lambda-calculus|logic|mathematics|proof|proof-assistant|proof-checker|theorem-proving