Post
Yohan John @dryohanjohn ยท Sep 16, 2022
  • From Twitter

This talk by Gisin is a pretty good intro to constructive mathematics:

Replies
No replies yet