Zulip Chat Archive

Stream: lean4

Topic: Using lean is a verifier for high school level geometry

eitan (Dec 15 2024 at 20:46):

(deleted)

Ruben Van de Velde (Dec 15 2024 at 20:50):

Please don't double-post

Last updated: May 02 2025 at 03:31 UTC