Mathematics and the formal turn. (arXiv:2311.00007v1 [math.HO]) http://arxiv.org/abs/2311.00007
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
