Cogent Project
-
Updated
Mar 18, 2025 - Isabelle
#
isabelle-hol
Here are 54 public repositories matching this topic...
Verification infrastructure for the Isabelle/HOL interactive proof assistant
-
Updated
Mar 30, 2026 - Isabelle
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
Readings on computational logic, interactive theorem proving and functional programming.
-
Updated
Apr 5, 2026
A formalization of projective geometry in Isabelle
-
Updated
Jun 26, 2019 - Isabelle
-
Updated
Nov 17, 2019 - Isabelle
Formalisation of MPC in Isabelle/HOL
-
Updated
Jul 23, 2022 - Isabelle
Verification-related documentation and code for pluto.
-
Updated
Nov 15, 2017 - Isabelle
A Collection of Isabelle Programming Hacks
-
Updated
Dec 24, 2025 - Standard ML
Collection of explainatory example proofs for popular proof assistants.
-
Updated
Aug 21, 2018 - Coq
Algorítmica funcional verificada
algorithms isabelle isabelle-hol algorithms-datastructures estructuras-de-datos funcional-programming algoritmica programacion-funcional
-
Updated
Jun 24, 2022 - Isabelle
Kategorischer Imperativ in Isabelle/HOL (experimental)
-
Updated
Oct 3, 2023 - Isabelle
Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
-
Updated
Jun 24, 2022 - Isabelle
Formally Verified Conflict-Free Replicated Data Types
-
Updated
Jan 8, 2024 - Isabelle
A modern, async-first Python client for the Isabelle Server protocol.
-
Updated
Mar 5, 2026 - Python
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
-
Updated
Nov 21, 2018 - Isabelle
Formal Primal-Dual Analysis of Online Matching Algorithms
-
Updated
Nov 17, 2022 - Isabelle
Improve this page
Add a description, image, and links to the isabelle-hol topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the isabelle-hol topic, visit your repo's landing page and select "manage topics."