Draft: Case study: page table

Case study: page table

linux/casestudies/proofs/pgtable/dune

+; Generated by [refinedc], do not edit.
+(coq.theory
+ (flags -w -notation-overridden -w -redundant-canonical-projection)
+ (name refinedc.linux.casestudies.pgtable)
+ (theories refinedc.lang refinedc.lithium refinedc.typing refinedc.typing.automation))