GitHub repository: Isabelle-ai/js-client
Primary language: JavaScript
Created: 2020-02-24T21:22:59Z
Description: JavaScript / Node.js Client for Isabelle