diff options
| author | Son Ho | 2024-06-12 14:46:38 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-12 14:46:38 +0200 |
| commit | f5deac2b0f42e2a87fc26da50c902729e0ed1039 (patch) | |
| tree | d5d0776dbfe36bed45fe91b07078b44ca4429eab /tests/lean/External/FunsExternal_Template.lean | |
| parent | 191927e2fd21cf94501ac4f4968b09d110043d33 (diff) | |
Slightly simplify the progress tactic
Diffstat (limited to 'tests/lean/External/FunsExternal_Template.lean')
0 files changed, 0 insertions, 0 deletions