Stack Overflow
Stack Overflow

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.