hibariya

60 Contribution

/ Following users

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

I'm a programmer. Ruby/JavaScript/C#/PHP/Java

<marquee>

Rails, React.js, Golang が好きな、某ブロックチェーンの会社で働くSite reliability engineerです。

PerlとEmacsが好きです。

こげついています。

Hello, World.