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