Repair proofs (coq 8.13)

mit-pdos / fscq

FSCQ is a certified file system written and proven in Coq

Other

236 stars 21 forks source link

Closed Armael closed 2 years ago

Armael commented 2 years ago

This PR makes make proof pass again, when using coq 8.13.

zeldovich commented 2 years ago

Thank you!