formal-cognition Using formal language to decompose language model cognition set up environment python -m venv venv source venv/bin/activate Run Hello World python hello.py