Something went wrong. Try again.
Something went wrong. Try again.
NpmPlacement.v and Placement.v keep only Rocq comments, the npm reasoning moving to the driver, and NpmCommon holds what NpmPlacement.v restated of Npm.v
Author Ryan Gibb Date (Sep 28, 2026, 12:06 AM UTC) Commit
Copy SHA
Parent c981d4fe c981d4fe9905ba447fc22af494a43d84b90ba6ba