Conference Paper/Proceeding/Abstract 81 views
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
Abstract
Verifying Z3 RUPproofs with the interactive theorem provers Coq/Rocq and Agda
| Published in: | Types 2025 |
|---|---|
| Published: |
Glasgow, UK
|
| 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 |