Published September 15, 2025
| Version 1.0
Software
Open
Artifact for the PhD thesis "Formal Foundations for Automated Deductive Verifiers" (2025)
Authors/Creators
Description
This artifact contains Isabelle theories that support all formal claims from the PhD thesis Formal Foundations for Automated Deductive Verifiers (Thibault Dardinier, 2025). All .thy files have been successfully checked with Isabelle 2025. To explore the results of a specific chapter, open the corresponding file in the Isabelle IDE.
Files
tdardinier/artifact_thesis-1.0.zip
Files
(661.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:315e97c2520e184028bad9193dd0ec12
|
661.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/tdardinier/artifact_thesis/tree/1.0 (URL)
Software
- Repository URL
- https://github.com/tdardinier/artifact_thesis