🔎 Поисковая система Lean/Moogle
1 ноября 2023 г.
Moogle icon

Moogle

2(1)
Использовать
13

Ввод:

Вывод:

Эффективный поиск и навигация по теоремам mathlib4.
Содержание
ИСПОЛЬЗОВАТЬ
Основная задача
цена не указана

Отзывы

Отправить