Closed this issue 2 years ago · 0 comments
Coq uses <-. I wonder what are the other options? etirwer?
<-
etirwer