subformula0.1.0 package

Create Subformulas of a Formula

A formula 'sub' is a subformula of 'formula' if all the terms on the right hand side of 'sub' are terms of 'formula' and their left hand sides are identical. This package aids in the creation of subformulas.

  • Maintainer: Jonas Moss
  • License: MIT + file LICENSE
  • Last published: 2019-11-15