quasigroup

DEPRECATED: Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, Quasigroups, Loops, and Magmas. See the ReadTheDocs link.

Cryptography lecture report in M1 at the university of Tokyo

🔢 Software designed to find subquasigroups in quasigroups. The presence of subquasigroups allows an attacker to hack the system faster.

Kernel-checked Lean 4 proof that no infinite simple paramedial quasigroups exist (Loops '03 open problem).

Finds a solution for a given partially complete quasigroup (latin square). This code was written as a part of CSE318: Artificial Intelligence Sessional course work.

Certificate-first automated search over open problems in quasigroup, loop, and semigroup theory: ATP/SAT/GAP encodings, verification protocol, and result bundles