diff options
| author | Son Ho | 2024-05-21 12:08:32 +0200 |
|---|---|---|
| committer | Son Ho | 2024-05-21 12:08:32 +0200 |
| commit | 1db6738bdbda9f306e1aedd9fd54a2017e77539c (patch) | |
| tree | f01be95b52b5f657e367031e8df65dea0fa269f9 /backends/lean/Base/IList.lean | |
| parent | e07af56862e92efecb09209874ad24da77c0e001 (diff) | |
Fix an issue in the progress tactic
Diffstat (limited to 'backends/lean/Base/IList.lean')
0 files changed, 0 insertions, 0 deletions