diff options
| author | Philippe Audeoud <jadawin@FreeBSD.org> | 2025-09-19 13:39:24 +0000 |
|---|---|---|
| committer | Philippe Audeoud <jadawin@FreeBSD.org> | 2025-09-19 13:39:24 +0000 |
| commit | 8f4b126ea95cece7ed99d9f518cdfb156b0491e5 (patch) | |
| tree | 7cf38568a59c066b2aa136c35bb51c3c4e62b734 /math/lean4 | |
| parent | d0afe5cf11c699741cc117f3120b618e12d39e91 (diff) | |
Diffstat (limited to 'math/lean4')
0 files changed, 0 insertions, 0 deletions