po-algebras

Partially ordered algebras

!pip3 install provers
from provers import *
!git clone https://github.com/jipsen/po-algebras.git
import sys; sys.path.append('/content/po-algebras')
from poalgs import *