証明支援系に関することなら何でも
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  Kitamado | 2  elpinal | 3 | 4 | 5 | 6  Palalansoukî | |
7  kik | 8 | 9 | 10 | 11 | 12  SnO₂WMaN | 13 |
14 | 15 | 16  rikitoro | 17 rikitoro | 18  wasabi315 | 19  Quriosity | 20  phi16 |
21  kroton | 22  Kory | Ryosuke Kondo | 23  km | 24 | 25 |
- 12/1Lean 言語の手続き的プログラムの検証フレームワークについてLean 言語の手続き的プログラムの検証フレームワークについて
- 12/2単純型理論のcanonicityの証明 (agda)単純型理論のcanonicityの証明 - Agda Notes
- 12/6音楽理論の形式化
- 12/7Lean初心者なんですけど多項式難しすぎない？Lean初心者なんですけど多項式難しすぎない？ #lean - Qiita
- 12/12論理学をLeanでつくる Part.1 命題論理編
- 12/16Lean で Chomp ゲームを実装クリスマスは Lean の毒チョコゲーム Chomp を楽しもう
- 12/17Lean で Chomp ゲームを形式化毒チョコゲーム (Chomp) が先手必勝であることを Lean で証明する
- 12/18何か書く(Agda)
- 12/19Leanと暗号
- 12/20homotopy.io の紹介がしたいです
- 12/21数学の勉強とLean
- 12/22ゲームの必勝戦略をRustで生成してLeanで検証する
- 12/23Wikiの量子力学の数学的定式化をLeanで形式化する（できるとこまで。AI利用）