New posts in Self Distributivity

Formally undecidable problems on finitely presented quandles