grapes-entails-grapes function

Entailment between implication sets

  • Maintainer: Domingo Lopez Rodriguez
  • License: GPL-3
  • Last published: 2023-11-30