Lean 4カーネルにおける検証済み計算のパフォーマンスを向上させるための、コミュニティ全体が恩恵を受けることができるマルチステージコンペティションである、リーンカーネルチャレンジのステージ1をローンチできることを嬉しく思います。リーンカーネルチャレンジは、検証済み計算のためのより高速なアルゴリズムとより良い表現を開発するためにコミュニティを結集させます。これらの集合的な貢献を通じて、[...]