1. Pod de Engineer
  2. 44: 面白そうなプログラムを見..
2020-11-24 59:43

44: 面白そうなプログラムを見ると証明せずにはいられない with @fetburner

前回に引き続き、Wantedly に最近入社した @fetburner をゲストに迎えて、Coq を利用した定理証明について話しました。

https://github.com/fetburner/TypeInfer

https://github.com/fetburner/compelib/blob/master/lib/Regexp.v

https://github.com/AbsInt/CompCert

https://github.com/mperham/sidekiq/blob/v6.1.2/lib/sidekiq/launcher.rb#L126

59:43

コメント

スクロール