diff options
| author | Son Ho | 2023-07-05 15:09:07 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-05 15:09:07 +0200 |
| commit | c07721dedb2cfe4c726c42606e623395cdfe5b80 (patch) | |
| tree | 5af53eec3c92000aabe2e36b92215ed635aa7a2a /rust-scripts | |
| parent | 0a0445c72e005c328b4764f5fb0f8f38e7a55d60 (diff) | |
Simplify the generated names for the types in Lean
Diffstat (limited to 'rust-scripts')
0 files changed, 0 insertions, 0 deletions