Skip to content

Releases: nyu-acsys/template-proofs

Camera-ready version for PLDI 2020.

07 Apr 00:55
Compare
Choose a tag to compare

This version was used to obtain the experimental results reported in the PLDI 2020 paper.