Fix typing error and update dependencies#212

bobot merged 3 commits intoSMT-COMP:2025_final_executionSMT-COMP/smt-comp.github.io:2025_final_executionfrom

bobot:2025_final_execution_typingbobot/smt-comp.github.io:2025_final_execution_typingCopy head branch name to clipboard