loop-theory

Here are 2 public repositories matching this topic...

adrunkhuman / infinite-simple-paramedial-quasigroups-proof

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

theorem-proving abstract-algebra mathlib quasigroup universal-algebra nonassociative-algebra lean4 formal-proof open-problem loop-theory paramedial

Updated Jul 23, 2026
Lean

taggarttufte / algebra-hunt

Star

Two-week certificate-first campaign: an LLM orchestrating ATPs, SAT, and GAP against open problems in quasigroup, loop, and semigroup theory — closed two open orders of a 1998 conjecture; the trust protocol is the point

mathematics semigroup sat-solver formal-verification computational-algebra open-problems quasigroup automated-theorem-proving loop-theory vampire-prover

Updated Aug 22, 2026
Python

Improve this page

Add a description, image, and links to the loop-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the loop-theory topic, visit your repo's landing page and select "manage topics."

Learn more