diff options
author | Son Ho | 2024-03-11 10:20:15 +0100 |
---|---|---|
committer | Son Ho | 2024-03-11 10:20:15 +0100 |
commit | 21fdbab049534b35e9573da89bdfd5942144cbb9 (patch) | |
tree | dad9a9571e70edf75988a6d3b500e8234a040b3e /tests/lean/Loops.lean | |
parent | 82ccc781db0ba1df22f598ad1243fa53dc843320 (diff) |
Regenerate the test files
Diffstat (limited to 'tests/lean/Loops.lean')
0 files changed, 0 insertions, 0 deletions