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: Feb 28 2026 at 14:05 UTC