Lean4で学ぶ「仕様と実装と証明」
Lean4で「仕様と実装と証明」をひとまとめに書く 記事の目的 この記事は、Lean4を使えば「仕様を定義する」「参照実装を書く」「実装が正しいと示す」の３点がすっきり書けるということを、フィボ...
1
1
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles