Do I have this consistency?

Explanation

This program tells you whether consistency of x < y for cardinal invariants x and y can be deduced or not using transitivity from known theorems of inequality and known consistency results.

How to use?

Directly open index.html in your browser. (You don't need to create a web server.)

Third-party libraries

This repository bundles the following third-party file:

• cytoscape-node-html-label.min.js
  • copyright: Copyright (c) 2017 Kalugin Sergey
  • license: MIT
  • from: https://github.com/kaluginserg/cytoscape-node-html-label