AT
Aaron Tomb
On Valency
published · living versionsW_etmeccs6·v1 · currentpublished
Scaling Lean Theorem Proving for Real-World Code Verification
with Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh +4
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.