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 *
-
Notifications
You must be signed in to change notification settings - Fork 1
Partially ordered algebras
License
jipsen/po-algebras
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Partially ordered algebras
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published