mk18

7 Contribution

/ Following users

a linux kernel developer

iOS, Android Engineer

zaru / sakuraba webpush gem https://rubygems.org/gems/webpush

https://github.com/nobeans

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