#

isabelle

Here are 3 public repositories matching this topic...

Arthur742Ramos / isa-blueprint

project-planning theorem-proving blueprint proof-assistant isabelle formal-verification isabelle-hol

Updated Jun 22, 2026
Python

appliedfm / growth-data

Measuring the growth of open source formal methods

coq idris agda lean ada isabelle tla appliedfm

Updated Oct 17, 2025
Python

sano-jin / isabelle-deps

Dependency analyzer of Isabelle proofs

dependency-analysis isabelle

Updated Apr 19, 2026
Python

Improve this page

Add a description, image, and links to the isabelle topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the isabelle topic, visit your repo's landing page and select "manage topics."