[Перевод] Управление робототехникой в реальном времени с помощью языка Lean

Дата публікації:
09/05/2021 16:30

Постійна адреса новини:
http://www.vsinovyny.com/7833478

[Перевод] Управление робототехникой в реальном времени с помощью языка Lean

09/05/2021 16:30 // Хабрахабр:

Подразделение Microsoft Research недавно опубликовало предварительный выпуск Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики.

» Читати повністю

«	Наступна новина з архіву Когда покупаешь машину	Попередня новина з архіву У Москві відбувся військовий парад	»