LICENSE
MANIFEST.in
README.md
pyproject.toml
COQ/Algebra/E8.v
COQ/Algebra/G2.v
COQ/Certificate/AllProven.v
COQ/Geometry/Jordan.v
COQ/Geometry/K7.v
COQ/Relations/Physical.v
COQ/Relations/Weinberg.v
COQ/Topology/Betti.v
Lean/GIFT.lean
Lean/lakefile.lean
Lean/GIFT/Algebra.lean
Lean/GIFT/Certificate.lean
Lean/GIFT/Geometry.lean
Lean/GIFT/Relations.lean
Lean/GIFT/Topology.lean
gift_core/__init__.py
gift_core/_version.py
gift_core/constants.py
gift_core/relations.py
gift_core/topology.py
giftpy.egg-info/PKG-INFO
giftpy.egg-info/SOURCES.txt
giftpy.egg-info/dependency_links.txt
giftpy.egg-info/requires.txt
giftpy.egg-info/top_level.txt
tests/test_constants.py
tests/test_relations.py