diff options
author | Son Ho | 2023-10-24 16:43:00 +0200 |
---|---|---|
committer | Son Ho | 2023-10-24 16:43:00 +0200 |
commit | fb4fe9ec2c00f15a745ee12357e4a8f929a4dfc0 (patch) | |
tree | c88308a5011b6fd3a9ee72036ee5b236839c84b5 /backends/lean/Base/Diverge/Base.lean | |
parent | ce4de37c76d85ed7795f4938cf212abd31668007 (diff) |
Fix minor issues
Diffstat (limited to 'backends/lean/Base/Diverge/Base.lean')
0 files changed, 0 insertions, 0 deletions