diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-09-16 17:48:18 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-09-16 17:48:52 +0000 |
| commit | ef2fa5f33c6e90dd386fac40a1d73858f38f8b17 (patch) | |
| tree | 76c4541828b24bb8f907ae1c4617acaae35c3011 /math/lean4/files/(public-mirror) | |
| parent | fe793f2da9386acd62469999e613e9703551d36e (diff) | |
Diffstat (limited to 'math/lean4/files/(public-mirror)')
0 files changed, 0 insertions, 0 deletions