diff options
| author | Son Ho | 2023-09-04 00:59:39 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-04 00:59:39 +0200 |
| commit | 3151e373d64f9bce6146a44cd2d3cc64cac84cbf (patch) | |
| tree | 4526ae6479542c2429c7b673f7d5abfdf6c598ec /backends/lean | |
| parent | 25a741f1d79c537f5da4d21275eabdb1cc73ca89 (diff) | |
Fix minor issues
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions