Crit-bit Tree: Improve Proofs

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

MIT License

297 stars 45 forks source link

Closed vfukala closed 11 months ago

vfukala commented 11 months ago

vfukala commented 11 months ago

@samuelgruetter Thanks for the comments! I've resolved the things you mentioned.