A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
#
isabelle-hol
Here are 52 public repositories matching this topic...
Cogent Project
-
Updated
Mar 18, 2025 - Isabelle
Readings on computational logic, interactive theorem proving and functional programming.
-
Updated
May 5, 2025
Verification infrastructure for the Isabelle/HOL interactive proof assistant
-
Updated
Apr 30, 2025 - Isabelle
Proof exercises in Lean4 and Isabelle/HOL
-
Updated
Apr 20, 2025 - Lean
some sorting algorithms' formalisation
-
Updated
Aug 17, 2019 - Isabelle
Kategorischer Imperativ in Isabelle/HOL (experimental)
-
Updated
Oct 3, 2023 - Isabelle
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
-
Updated
Mar 27, 2022 - Isabelle
Hello World in Isabelle, compiled to Haskell
-
Updated
Oct 8, 2021 - Isabelle
Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL
-
Updated
Dec 13, 2024 - OCaml
Propositional logic and FOL proofs (froward style)
-
Updated
Dec 2, 2017 - Isabelle
A Collection of Isabelle Programming Hacks
-
Updated
May 14, 2023 - Standard ML
-
Updated
Nov 17, 2019 - Isabelle
「情報数学講座（第7巻）プログラム意味論」（著: 横内寛文）の形式的証明
-
Updated
Aug 21, 2022 - Isabelle
-
Updated
Jun 6, 2022 - HTML
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 small and simple set of automated proofs written in Isabelle
-
Updated
May 9, 2018 - 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."