3 commits

Author	SHA1	Message	Date
Tibo De Peuter	61178cbeac	fix: Univ	2025-05-18 20:28:58 +02:00
Tibo De Peuter	3724ac72f9	Checkpoint	2025-05-08 15:07:24 +02:00
Tibo De Peuter	8bda3c5af4	Clause	2025-05-07 22:26:02 +02:00

Renamed from tests/prolog/builtins/AnalysingAndConstructionOperatorsTests.kt (Browse further)