OLLAMA_BASE_URL=http://127.0.0.1:11434
OLLAMA_MODEL=nemotron-mini
LEAN_PATH=lake
SWIPL_PATH=C:\Program Files\swipl\bin\swipl.exe
WORKSPACE=C:\Users\jessi\IdeaProjects
PORT=3001