Lean Zulip — Community Guidelines & Posting Strategy

Dr. Tamás Nagy Proof Record Formal Verification Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

338 words

Status

Active