l4v icon indicating copy to clipboard operation
l4v copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Move lemmas to CParser

Open michaelmcinerney opened this issue 1 year ago • 0 comments

There are likely many lemmas in Detype_C.thy and Retype_C.thy that would be suitable for inclusion within the CParser session. This would reduce duplication and aid any future arch splitting effort

michaelmcinerney avatar May 01 '23 02:05 michaelmcinerney