leodemoura.github.ioの投稿

1. Leanの証明ツールに、複数の検査器で結果を再確認する機能が追加された ↗(leodemoura.github.io)

   要約Leanは、数学の証明やプログラムの正しさを機械が検査する証明ツールである。この記事によると、Lean v4.35.0にlake checkコマンドが加わり、作業結果を書き出した後、公式検査器leanchecker で再検査できるようになった。全体の処理は、初期設定ではサンドボックス内で実行される。 lake check --paranoid オプションを使うと、同じ作業を nanoda、lea…

   startupxo 3日前要約話し合う

このページの投稿はすべて非表示になっています。