diff options
| author | Herbert J. Skuhra <herbert@gojira.at> | 2025-07-15 12:57:18 +0000 |
|---|---|---|
| committer | Zsolt Udvari <uzsolt@FreeBSD.org> | 2025-07-15 12:58:31 +0000 |
| commit | ad08cd55dfd7e7d1787614dbe7c2097175337b8a (patch) | |
| tree | 4ea17d933f7a3eadc333976e88f2f028cd2872cc /math/lean4 | |
| parent | 95634613853f7bdec0af1eec7eb8ba6866cb287e (diff) | |
Diffstat (limited to 'math/lean4')
0 files changed, 0 insertions, 0 deletions