aboutsummaryrefslogtreecommitdiffstats
path: root/test/test_embedding.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* residuation: open membership returns residual constraintsMarcos Magueta2026-07-111-4/+17
|
* embedding surface, host world test, deep recursion, line trackingMarcos Magueta2026-07-111-0/+80