Hacker News 👾
Назад к новостям
1
wslh
•
20.03.26 18:55
Источник
The hitchhiker's guide to reading Lean 4 theorems
Источник
Комментарии
0
Обновить