diff options
| author | Son Ho | 2024-02-13 00:31:39 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 16:53:29 +0100 |
| commit | 7733752dd8c153c48263609087794f5199ef37d2 (patch) | |
| tree | cafce4bf7c2ba9991224936bb230dbe6c4fae4c9 /tests/lean/External/FunsExternal.lean | |
| parent | c7b4286af6f1668308c166906479de851d722466 (diff) | |
Fix some issues with the loops
Diffstat (limited to 'tests/lean/External/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions