解云舟 博士:Theorem proving in Lean

作者:孟令玉(2026-08-08)