Skip to content

Tests of the Lurch design team's FIC deduction ideas

Notifications You must be signed in to change notification settings

lurchmath/fic-experiment

Folders and files

NameName
Last commit message
Last commit date
Sep 8, 2022
Nov 24, 2021
Dec 8, 2020
Sep 8, 2022
Sep 8, 2022
Mar 9, 2020
Mar 11, 2020
Jan 15, 2020
Jan 14, 2020
Mar 31, 2022
Oct 11, 2021
Mar 13, 2020

Repository files navigation

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