L

libalba

Project information

A computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.

computer-alg... logic

Created on

October 23, 2023

This project does not have a wiki homepage yet