天泣記
2017-09-20 (Wed)
#1 RubyKaigi の発表
RubyKaigi 2017 で、 Ruby Extension Library Verified using Coq Proof-assistant という発表をした
スライド
補助資料
[
latest
]
田中哲