#formal-math

LeanWeaver

fiersity

Rule-based Lean 4 error explainer — hover errors to get clear explanations. 悬停报错即懂：英语优先，可切中文。