Stack Overflow
Stack Overflow

Harry Qu
45
reputation
6
  • Member since November 02 2018
  • 5 profile views
  • Last seen May 05 '21 at 03:00

I like Coq but I don't know how to use it