fic-experiment

Tests of the Lurch design team's FIC deduction ideas

How to get started

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

The tests use mocha and expect.js.

Docs for the dependencies

OpenMath - see here
Structure - see here