diff options
| author | Balagopal Komarath <baluks@gmail.com> | 2024-05-13 11:44:59 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-13 00:14:59 -0600 |
| commit | 7b4a50ac46346fb794c25ca9b4097ad7d39822b6 (patch) | |
| tree | 7c9e82e027ea96e5531044cdf8ef333bd2ad6710 /uk-ua | |
| parent | 2c2e8650d9b7b3caba65fa9e3ca6bc55ea08c317 (diff) | |
[lean4/en] Documentation for Lean 4 (#4893)
Diffstat (limited to 'uk-ua')
0 files changed, 0 insertions, 0 deletions