Home
DCC eCatalog
Alan__Dent
Reasoning about array structures using a dependently typed logic
