diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 03:17:10 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 03:17:10 -0300 |
| commit | eb81c07047979f3fe53383ff2a42393f0b29bd28 (patch) | |
| tree | e9cac26f28e7f2ca3259be25769dfdd23e04f43b /theories/Decrease.vos | |
| parent | 40376c3ea009eab4db9ba27837e61d8bec310b8f (diff) | |
| download | SOL-eb81c07047979f3fe53383ff2a42393f0b29bd28.tar.gz SOL-eb81c07047979f3fe53383ff2a42393f0b29bd28.zip | |
embedding surface, host world test, deep recursion, line tracking
Diffstat (limited to 'theories/Decrease.vos')
0 files changed, 0 insertions, 0 deletions