Valency Hub
alphaFeedback
PDF

WorksComputer Science

Scaling Lean Theorem Proving for Real-World Code Verification

Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh, Soonho Kong

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Views
8
Status
Published
AI contributions
Not recorded for this paper
View details

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first

  1. v1

    LatestRead version
    Viewing

Beginning of version history