Read on Wikipedia

Image: University of Cambridge et al. · BSD

Isabelle (proof assistant)

Isabelle (proof assistant)

Higher-order logic (HOL) automated theorem prover.

Rare
68 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: Empty

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

Not sold on the market yet.

Readers' pathsAug 2026 – Oct 2026

Readers go next to

Share of the 1,990 clicks on its links

  1. Lean (proof assistant)

    Proof assistant and programming language.

    10%

  2. Gérard Huet

    French computer scientist.

    8.9%

  3. Lawrence Paulson

    American computer scientist.

    8.8%

  4. Agda (programming language)

    Functional programming language.

    6.8%

  5. Rocq

    Proof assistant.

    5.2%

  6. Proof assistant

    Interactive theorem prover software.

    5%

  7. Mizar system

    Proof assistant program.

    4.7%

  8. Metamath

    Formal language and associated computer program.

    3.7%

  9. Scala (programming language)

    General-purpose programming language.

    3.2%

  10. Method of analytic tableaux

    Tool for proving a logical formula.

    0.65%

Readers come from

Share of the 1,471 readers arriving from another article

  1. Proof assistant

    Interactive theorem prover software.

    22%

  2. Mizar system

    Proof assistant program.

    7.3%

  3. Kepler conjecture

    Math theorem about sphere packing.

    6.7%

  4. Haskell

    Functional programming language.

    3.8%

  5. Prime number theorem

    Characterization of how many integers are prime.

    3.5%

  6. Lawrence Paulson

    American computer scientist.

    2%

  7. Van Emde Boas tree

    Tree data structure.

    1.4%

  8. Gödel's completeness theorem

    Fundamental theorem in mathematical logic.

    1.3%