@smeghead

https://github.com/nobeans

nariさん

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

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

Hello, World.

隠居しています。探さないでください。

PerlとEmacsが好きです。