leanprover/lean4

Lean 4 — это современный язык программирования и интерактивный доказатель теорем, открытый в виде проекта leanprover/lean4. Он подходит для прототипирования фор