[isabelle] Multi-dimensional arrays
Is there currently a theory for multi-dimensional arrays? I have found
something called the Collections framework, but I do not know if this
fits the bill. I am looking to create a theory based on the Mathematics
of Arrays, but if there was already a base for arrays, I would take that
as a starting point.
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.
This archive was generated by a fusion of
Pipermail (Mailman edition) and