Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
-
Updated
Dec 8, 2025 - Isabelle
#
theorem-proving
Here are 11 public repositories matching this topic...
Schrödinger's hats: a puzzle about parities and permutations
-
Updated
May 10, 2017 - Isabelle
Code repository for the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant"
theorem-proving verification formal-methods isabelle formal-verification isabelle-hol randomised-algorithms
-
Updated
Nov 9, 2025 - Isabelle
An automated equivalence reasoner for Isabelle/HOL
-
Updated
Jan 23, 2024 - Isabelle
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
-
Updated
Sep 23, 2023 - Isabelle
Lecture course on verified Functional Data Structures
functional-programming theorem-proving proof-assistant isabelle-hol functional-data-structure algorithms-and-data-structures
-
Updated
Jul 23, 2020 - Isabelle
Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.
-
Updated
Jan 14, 2025 - Isabelle
Coursework for Automated Reasoning 2021/22 at the University of Edinburgh
-
Updated
Dec 4, 2021 - Isabelle
-
Updated
Nov 7, 2018 - Isabelle
Theorem proving in Isabelle
-
Updated
Mar 28, 2021 - Isabelle
A formalisation of Solèr's theorem using the Isabelle proof assistant
-
Updated
Feb 12, 2023 - Isabelle
Improve this page
Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."