leanprover/cslib

Резюме проекта leanprover/cslib: leanprover/cslib - это открытый исходный код библиотека Computer Science Library (CSLib) на основе языка Lean. Программное обес