a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by bsm
bsm  ·  3434 days ago  ·  link  ·    ·  parent  ·  post: Re-learning Math With Coq

I found Andrej Bauer's videos useful when I was learning coq.