addictionwhite

735 Contribution

/ Following users

Coqなどによるプログラムの正しさの検証・証明に興味があります。

編集リクエスト、コメント大歓迎です。

C#, WPF/Silverlight, Windows Phone, Lync, 定時退社 (23 時)

http://arvelt.github.io/