diff options
author | Son Ho | 2023-07-19 14:48:36 +0200 |
---|---|---|
committer | Son Ho | 2023-07-19 14:48:36 +0200 |
commit | 753907aafc2502ced0cd8c3f9bc43fb1c4b30e93 (patch) | |
tree | bcbe8537899de395b2f0391e07d05a4572734880 /tests/lean/Paper.lean | |
parent | 204742bf2449c88abaea8ebd284c55d98b43488a (diff) |
Cleanup a bit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions