SKolodynski/IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

GitHub repository with 19 stars and 1 forks.

Language: Isabelle

Topics: formal-proofs, formal-verification, formalized-mathematics, isabelle-zf

Open provider repository

Latest metric snapshot

2026-06-04: 19 stars and 1 forks.

Trending in Isabelle

  1. 1. awslabs/AutoCorrode

    Verification infrastructure for the Isabelle/HOL interactive proof assistant

    GitHub repository with 87 stars and 17 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Isabelle

    Topics: formal-verification, isabelle-hol, proof-automation, rust

  2. 2. seL4/isabelle

    git mirror of the Munich isabelle hg repository

    GitHub repository with 138 stars and 43 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Isabelle

  3. 3. au-ts/cogent

    Cogent Project

    GitHub repository with 177 stars and 27 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Isabelle

    Topics: file-systems, verification, programming-languages, isabelle-hol, co-generation