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: Dec 20 2023 at 11:08 UTC