GitHub repository: Isopod00/FO3_to_CoR_Translation
Primary language: Python
Description: The goal of this project is to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).