GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## ## LIREL.gd LIREL subpackage Mohamed Barakat ## ## LIREL = Logical Implications for homalg module RELations ## ## Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen ## ## Declaration stuff for the LIREL subpackage. ## #############################################################################