Conference Paper/Proceeding/Abstract 154 views 14 downloads
Verifying Z3 RUPproofs with the interactive theorem provers Coq/Rocq and Agda
Harry Bryant,
Andrew Lawrence,
Monika Seisenberger 
,
Anton Setzer
,
Anton Setzer
Types 2025, Pages: 186 - 189
Swansea University Authors:
Harry Bryant, Monika Seisenberger , Anton Setzer
-
PDF | Accepted Manuscript
Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).
Download (117.76KB)
Abstract
Verifying Z3 RUPproofs with the interactive theorem provers Coq/Rocq and Agda
| Published in: | Types 2025 |
|---|---|
| Published: |
Glasgow, UK
2025
|
| Online Access: |
https://msp.cis.strath.ac.uk/types2025/TYPES2025-book-of-abstracts.pdf |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa70913 |
| Start Page: |
186 |
|---|---|
| End Page: |
189 |