Stack Overflow
Stack Overflow

CodeSun
51
reputation
5
  • China
  • Member since July 15 2013
  • 18 profile views
  • Last seen Dec 25 '22 at 05:26

A student at USTC, developing the shape graph module of a formal verification system.