объект · продукт

Lean

Программный инструмент для формализации математических доказательств. Упоминается в связи с публикацией OpenAI доказательств, подготовленных на нём.

+ Следить RSS ↗

Записи с тегом · по дате