isabelle-hol
Here are 51 public repositories matching this topic...
Language:All
Sort:Most stars
A curated set of links to formal methods involving provable code.
- Updated
Dec 12, 2021
Cogent Project
- Updated
Mar 18, 2025 - Isabelle
Readings on computational logic, interactive theorem proving and functional programming.
- Updated
Mar 20, 2025
Proof exercises in Lean4 and Isabelle/HOL
- Updated
Mar 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
Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL
- Updated
Dec 13, 2024 - OCaml
A Collection of Isabelle Programming Hacks
- Updated
May 14, 2023 - Standard ML
Propositional logic and FOL proofs (froward style)
- Updated
Dec 2, 2017 - Isabelle
Hello World in Isabelle, compiled to Haskell
- Updated
Oct 8, 2021 - Isabelle
- Updated
Nov 17, 2019 - Isabelle
「情報数学講座（第7巻）プログラム意味論」（著: 横内寛文）の形式的証明
- Updated
Aug 21, 2022 - 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
- Updated
Jun 6, 2022 - HTML
A small and simple set of automated proofs written in Isabelle
- Updated
May 9, 2018 - Isabelle
Formalisation of MPC in Isabelle/HOL
- Updated
Jul 23, 2022 - Isabelle
Improve this page
Add a description, image, and links to theisabelle-hol topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theisabelle-hol topic, visit your repo's landing page and select "manage topics."