diff options
author | Son Ho | 2023-10-30 12:24:05 +0100 |
---|---|---|
committer | Son Ho | 2023-10-30 12:24:05 +0100 |
commit | dc0032f6ce3b837ba2f431bbb5c9a92c625f629f (patch) | |
tree | 37de8c24e1dfb1b7268143886303ba65b4122565 /backends/lean/Base/Primitives/Range.lean | |
parent | c200d43abf96c6f3126d1de40e7e4c547e4e7371 (diff) |
Make minor updates following changes in Charon
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions