RNT/test/unit/evaluators/FOL.ml, branch relation-registration dune fmt 2026-09-26T00:51:33+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T00:51:33+00:00 584fbca6d920e9a9f91d451667f9380714ac2175 






fix tests
2026-09-23T06:47:47+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-09-23T06:47:47+00:00

41e5d7b8884f23a1e6b7991d1ffcd548d04c9560












make substantial relation use merkle.interface
2026-09-18T03:18:43+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-09-18T03:18:43+00:00

1a35fa647b3598111d7dcb281309651ab413b1bc












substantial relation context removal and test fix
2026-09-18T03:01:37+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-09-18T03:01:37+00:00

7bfb3f5400fdd67a27224bdbd75c1a5d156b1d8c












fol evaluator
2026-09-13T17:27:37+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-09-13T17:27:37+00:00

ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254