Stack Overflow
Stack Overflow

Daisuke Sugawara
281
reputation
3
19
  • Japan
  • Member since November 08 2018
  • 72 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.