FedSearch
Christian Lawson-Perfect · @christianp
4660 followers · 5614 posts · Server mathstodon.xyz

#formalproofinatoot #proofinatoot

Last updated 2 years ago
Original post