README.md
pyproject.toml
symlib/__init__.py
symlib/autodetect.py
symlib/domain.py
symlib/engine.py
symlib/theorems.py
symlib/kernel/__init__.py
symlib/kernel/construction.py
symlib/kernel/group_algebra.py
symlib/kernel/obstruction.py
symlib/kernel/ses_analyzer.py
symlib/kernel/torsor.py
symlib/kernel/verify.py
symlib/kernel/weights.py
symlib/proof/__init__.py
symlib/proof/builder.py
symlib/proof/lean4.py
symlib/search/__init__.py
symlib/search/equivariant.py
symlib_core.egg-info/PKG-INFO
symlib_core.egg-info/SOURCES.txt
symlib_core.egg-info/dependency_links.txt
symlib_core.egg-info/requires.txt
symlib_core.egg-info/top_level.txt
tests/test_autodetect.py
tests/test_engine.py
tests/test_kernel.py