Mathematics Stack Exchange
Mathematics Stack Exchange

Daisuke Sugawara
101
reputation
  • Japan
  • Member since October 18 2020
  • 0 profile views
  • Last seen Sep 30 '21 at 04:02

I like Coq and theorem proving. I am a student at the University of Aizu.