diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 14:36:15 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 14:36:15 -0300 |
| commit | 097cf958cf25c63035f6434f12b421dd9ab1c60e (patch) | |
| tree | bfed8eafb7417a6e05e23be82550c2f78d774e68 /test/unit/evaluators/FOL.ml | |
| parent | ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254 (diff) | |
| download | RNT-097cf958cf25c63035f6434f12b421dd9ab1c60e.tar.gz RNT-097cf958cf25c63035f6434f12b421dd9ab1c60e.zip | |
docs
Diffstat (limited to 'test/unit/evaluators/FOL.ml')
0 files changed, 0 insertions, 0 deletions