Python import from beyond top-level package
Make sure, that your settings.py which located at the project root directory, has sys.path.append(os.path.dirname(os.path.abspath(__file__)))
from web -> app -> here's where I want to import things from:
import Theorem_prover.here_are_the_things_I_want_to_import
I am developing a Django project for which I wrote some non-web related libraries.
My directory structure looks something like this:
Main folder

Theorem prover


here are the things I want to import

web


app


here's where I want to import things from



The place where I'm running the app is the web/ folder. What would be the proper way of doing this?