Automated Deduction – CADE 28

Overview of attention for book

Attention for Chapter 37: The Lean 4 Theorem Prover and Programming Language

Altmetric Badge

Mentioned by

So far, Altmetric has seen 12 X posts from 11 X users, with an upper bound of 45,031 followers.

The Lean 4 Theorem Prover and Programming Language. 100 citations , according to Google Scholar. #LeanLang https://t.co/kU4eNM8Ws0

RT @leanprover: Leonardo de Moura, Sebastian Ullrich: The Lean 4 Theorem Prover and Programming Language CADE 28 system description paper,…

RT @leanprover: Leonardo de Moura, Sebastian Ullrich: The Lean 4 Theorem Prover and Programming Language CADE 28 system description paper,…

RT @Jose_A_Alonso: The Lean 4 theorem prover and programming language. ~ Leonardo de Moura, Sebastian Ullrich. https://t.co/k8hdQ7swrC #ITP…

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 8 additional X posts.