upvote

points

by margorczynski12 hours ago |
comments
upvoteby anthonyrstevens7 hours ago|
next
[-]
Do you know what "sorry" means in the context of Lean?
reply
upvoteby xyzsparetimexyz10 hours ago|
prev|
[-]
How am *I* meant to do that
reply