Robuta

https://arxiv.org/abs/2403.06704 [2403.06704] Proof complexity of universal algebra in a CSP dichotomy proof Abstract page for arXiv paper 2403.06704: Proof complexity of universal algebra in a CSP dichotomy proof proof complexity universal algebra 2403 06704 https://ualib.gitlab.io/ The Agda Universal Algebra Library (UAlib) universal algebra agda library https://arxiv.org/abs/0802.3836 [0802.3836] The universal Hopf algebra associated with a Hopf-Lie-Rinehart algebra Abstract page for arXiv paper 0802.3836: The universal Hopf algebra associated with a Hopf-Lie-Rinehart algebra the universal hopf algebra associated with 0802 3836