diff options
| author | Son Ho | 2024-02-13 00:27:02 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 16:53:29 +0100 |
| commit | cc7daed14342b746825eb3a72c00d58ab0d9fb73 (patch) | |
| tree | 09508b0c918abd639c8796359a1ff56a444554f3 /backends/lean | |
| parent | 169d011cbfa83d853d0148bbf6b946e6ccbe4c4c (diff) | |
Update Print.ml
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions