diff options
| author | Son Ho | 2024-06-04 13:17:26 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-04 13:17:26 +0200 |
| commit | aa847c5ea1cfc1695b95d91cd10e3dc5bace4c33 (patch) | |
| tree | 13e5b57471287700909676abcd8ef4829df97618 /tests/lean/External/Funs.lean | |
| parent | 90a1c44c1be56e81c17373723d5098e2cfa48a37 (diff) | |
Do more cleanup
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions