Person

Leonardo de Moura

微软研究院研究员，Lean定理证明器的主导开发者

Timeline (last 90 days)

Aug 10

Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本

Unverified50%

Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本