I forgot I had this example requirements document at https://github.com/programming-formalisms/programming_formalisms_project_summer_2026/blob/main/docs/requirements.md . It does not match the project anymore. Update it :-)
I forgot I had this example requirements document at https://github.com/programming-formalisms/programming_formalisms_project_summer_2026/blob/main/docs/requirements.md .
It does not match the project anymore. Update it :-)