Zulip Chat Archive

Stream: general

Topic: contrapose!

Johan Commelin (Jul 02 2020 at 08:05):

contrapose! is awesome

— Kenny Lau

Kevin Buzzard (Jul 02 2020 at 08:10):

Hilbert was right

Last updated: May 02 2025 at 03:31 UTC