Published October 8, 2023
| Version v1
Software
Open
POPL Artifact for "A Formalization of Core Why3 in Coq"
Authors/Creators
- 1. Princeton University
- 2. Sandia National Laboratories
Description
This is the artifact for the paper "A Formalization of Core Why3 in Coq" at POPL 2024.