diff options
| author | Nadrieril | 2024-04-22 11:55:55 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-22 12:00:20 +0200 |
| commit | 40e797fbf4d7bb47ef48597f25fda4e0b78633c7 (patch) | |
| tree | c8f415023e96247d23080374b2a74d234b69703f /backends/lean/Base/Extensions.lean | |
| parent | 1e2fce0e1fa42fa2ba5800332e1fdfcba2294657 (diff) | |
ci: check code formatting
Diffstat (limited to 'backends/lean/Base/Extensions.lean')
0 files changed, 0 insertions, 0 deletions