Нужна помощь в создании мини-проекта, основанного на автоматическом доказательстве теорем с использованием языка Си
Я четвертый курс бакалавра компьютерных наук и инженерии, и наша команда работает над мини-проектом по автоматическому доказательству теорем. Наша главная цель - выяснить, является ли геометрическая теорема действительной или нет, основываясь на аксиомах и входных данных, которые мы вводим в программу проверки. Мы хотим разработать наш код с использованием языка программирования C, но первоначальная проблема заключается в том, что мы не можем найти способ представления аксиом. Есть ли способ решить эту проблему?