aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators/FOL.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* substantial relation context removal and test fixMarcos Magueta2026-09-181-4/+9
* fol evaluatorMarcos Magueta2026-09-131-0/+71