Proving 1 plus 1 = 2 in 616,873 lines of Lean
Описание и применение
Proving 1 plus 1 = 2 in 616,873 lines of Lean: open-source проект в категориях Misc. Практическое применение: нужна ручная оценка сценария. Уровень готовности: подходит для прототипа или внутреннего workflow, перед production нужна ручная проверка.
Применение в работе
Proving 1 plus 1 = 2 in 616,873 lines of Lean may be useful when its README and activity match a concrete workflow.
Ограничения и замечания
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- Источник: hackernews
- Дата записи: 2026-10-30T12:09:50.000Z