Following Organizations
No Organizations you are following
Followees
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- @VoQn
デジタルプロダクトデザイナー
- Kuniaki Hori@HolyGrail
実はVTuberです
- Kon Yuichi@konpyu
software engineer
3 / 3
No Organizations you are following
Coqなどによるプログラムの正しさの検証・証明に興味があります。
デジタルプロダクトデザイナー
実はVTuberです
software engineer