diff options
| author | Herbert J. Skuhra <herbert@gojira.at> | 2025-07-15 13:04:34 +0000 |
|---|---|---|
| committer | Zsolt Udvari <uzsolt@FreeBSD.org> | 2025-07-15 13:04:34 +0000 |
| commit | f54c5cc672c2c3445613332829798d6a749819fa (patch) | |
| tree | ebdfef2e5f8b4a7ad3765ef488c75cf976441fe0 /math/lean4 | |
| parent | ad08cd55dfd7e7d1787614dbe7c2097175337b8a (diff) | |
Diffstat (limited to 'math/lean4')
0 files changed, 0 insertions, 0 deletions