Open computational evidence infrastructure for Lean

Резюме проекта Open computational evidence infrastructure for Lean: Проект Open computational evidence infrastructure for Lean предлагает открытое инфраструктур