Login / Signup

Live Verification in an Interactive Proof Assistant.

Samuel GruetterViktor FukalaAdam Chlipala
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases