@doloopwhile

Python + Djangoでウェブ・アプリケーション開発、SwiftでiOSアプリ開発をやってます。

ロックフリーです。

KotlinとかSpring-BootとかReactとかiOS/Androidとか使って、AWS lambdaとか使ってごにょごにょしています。 一緒に開発してくれる人が増えるといいな。( http://qiita.com/lirispp )

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