/fic-experiment

Tests of the Lurch design team's FIC deduction ideas

Primary LanguageJavaScript

fic-experiment

Tests of the Lurch design team's FIC deduction ideas

How to get started

  1. Clone this repo
  2. Install dependencies with npm install
  3. Run tests with npm test
  4. Honestly there's not anything else to do yet

The tests use mocha and expect.js.

Docs for the dependencies

  1. OpenMath - see here
  2. Structure - see here