To run this program, follow these instructions:

1. Install Ollama via Website or using this command:
   winget install Ollama.Ollama
2. Pull this version:
   ollama pull llama3.1:8b
3. Run the model in your terminal
   ollama run llama3.1
4. Install the project requirements
   pip install -r requirements.txt
5. Execute the program with the desired file
   python complete_process.py <path to desired file>

Citations: authors:

• family-names: "Roffé" given-names: "Ariel Jonathan" orcid: "https://orcid.org/0000-0002-0051-2028" title: "logics - A Python Framework for Mathematical Logic" version: 1.0.1 date-released: 2021-03-27 url: "https://github.com/ariroffe/logics"