前回に引き続き、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
