pruvisto/sturm

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

GitHub repository with 5 stars and 1 forks.

Language: Isabelle

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 1 forks.

Similar repositories

  1. 1. 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

Trending in Isabelle

  1. 1. 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