Stack Exchange
Stack Overflow
Questions
Tags
Users
About
Stack Overflow
Public
Questions
Tags
Users
About
Daisuke Sugawara
311
reputation
4
20
Japan
Member since
November 08 2018
81 profile views
Last seen
Sep 30 '21 at 04:32
I like Coq and theorem proving. I am a student at
the University of Aizu
.