docs/conf.py:16:1: E402 Module level import not at top of file

docs/conf.py:17:1: E402 Module level import not at top of file

knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused

knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused

knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`

knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`

Process completed with exit code 2.

docs/conf.py:16:1: E402 Module level import not at top of file

docs/conf.py:17:1: E402 Module level import not at top of file

knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused

knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused

knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`

knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`

docs/conf.py:16:1: E402 Module level import not at top of file

docs/conf.py:17:1: E402 Module level import not at top of file

knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias

knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused

knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused

knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`

knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/