diff options
| author | Son Ho | 2024-03-29 11:33:32 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-29 11:33:32 +0100 |
| commit | bd89156cbdcb047ed9a6c557e9873dd5724c391f (patch) | |
| tree | acf385d6dc388f78377828c83f13df7c3b25c5e7 /backends/lean/Base/Primitives | |
| parent | 6f4833f84dd3ec17311b5e6ca9f5c1ad94ff7564 (diff) | |
Make a minor modification
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions