Read on Wikipedia

Image: David.Monniaux · CC BY-SA 4.0

Leonardo de Moura

Leonardo de Moura

Computer scientist.

Rare
126 views/day0 owners

No account needed. By playing, you confirm you're 13 or older and agree to the Terms of use.

No owners yet

RareTop 25%

Category: Character

0 owners
0 copies
0 pulls
Wishlisted
0
In 0 albums
On 0 showcases
Market listings
0
Wikipedia views per dayLast 30 days 5,095

Not sold on the market yet.

Readers' pathsAug 2026 – Oct 2026

Readers go next to

Share of the 2,743 clicks on its links

  1. Z3 Theorem Prover

    Software for solving satisfiability problems.

    49%

  2. Lean (proof assistant)

    Proof assistant and programming language.

    34%

  3. Amazon Web Services

    On-demand cloud computing provider.

    7.5%

  4. Microsoft Research

    Research division of Microsoft.

    3.5%

  5. Pontifical Catholic University of Rio de Janeiro

    Jesuit university in Rio de Janeiro, Brazil.

    2.8%

  6. Computer scientist

    Scientist specializing in computer science.

    0.44%

Readers come from

Share of the 9,286 readers arriving from another article

  1. Lean (proof assistant)

    Proof assistant and programming language.

    97%

  2. Proof assistant

    Interactive theorem prover software.

    1.4%

  3. Z3 Theorem Prover

    Software for solving satisfiability problems.

    1.3%