@telejuve

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

I play Angular and pray for Angular. No Breaking Changes No Life.

下北沢オープンソースCafeのマスターで、図書館サービス「リブライズ」のデザイン担当。Riot.jsのコア開発者。