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