Podáváme přehled výsledků v oblasti kvazigrup a lup, které byly dosaženy s přispěním automatických dokazovačů vět.
