Added an FAQ about array theory in CBMC#8

Open

akshayutture wants to merge 3 commits intomodel-checking:mainfrom

akshayutture:main

Commits on Jul 28, 2022

Added an FAQ about array theory in CBMC
akshayutture
committed

Commits on Aug 10, 2022

Added an Advanced-Questions section and moved the array-theory page to that section
akshayutture
committed
Added a date for the array-theory page
akshayutture
committed