Мы рады запустить Этап 1 Испытания Lean Kernel — многоэтапного соревнования по улучшению производительности верифицированных вычислений в ядре Lean 4, от которого выиграет все сообщество. Испытание Lean Kernel объединяет сообщество для разработки более быстрых алгоритмов и лучших представлений для верифицированных вычислений. Благодаря этим коллективным вкладам, […]